Invited Talk: Using SMT and Abstraction-Refinement for Neural Network Verification.

Research output: Contribution to conference › Abstract › peer-review

Original language	English
Pages	1
Number of pages	1
State	Published - 2021
Event	19th International Workshop on Satisfiability Modulo Theories, SMT 2021: co-located with 33rd International Conference on Computer Aided Verification (CAV 2021) - Online Duration: 18 Jul 2021 → 19 Jul 2021 Conference number: 19 https://smt-workshop.cs.uiowa.edu/2021/

Conference	19th International Workshop on Satisfiability Modulo Theories, SMT 2021
Period	18/07/21 → 19/07/21
Internet address	https://smt-workshop.cs.uiowa.edu/2021/

Access to Document

@conference{b77a54c79eda47e0aa59ec10db76e6c5,

title = "Invited Talk: Using SMT and Abstraction-Refinement for Neural Network Verification.",

author = "Guy Katz",

year = "2021",

language = "אנגלית",

pages = "1",

note = "19th International Workshop on Satisfiability Modulo Theories, SMT 2021 ; Conference date: 18-07-2021 Through 19-07-2021",

url = "https://smt-workshop.cs.uiowa.edu/2021/",

}