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

Research output: Contribution to conferenceOtherpeer-review

Original languageEnglish
Pages1
Number of pages1
StatePublished - 2021
Event19th International Workshop on Satisfiability Modulo Theories, SMT 2021: co-located with 33rd International Conference on Computer Aided Verification (CAV 2021) - Online
Duration: 18 Jul 202119 Jul 2021
Conference number: 19
https://smt-workshop.cs.uiowa.edu/2021/

Conference

Conference19th International Workshop on Satisfiability Modulo Theories, SMT 2021
Period18/07/2119/07/21
Internet address

Cite this