Search for persons
X
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
1
Efficient Neural Network Analysis with Sum-of-Infeasibiliti..:
, In:
?
2020 Formal Methods in Computer Aided Design (FMCAD) ,
2
Parallelization Techniques for Verifying Neural Networks:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
3
The Marabou Framework for Verification and Analysis of Deep..:
, In:
?
2018 Formal Methods in Computer Aided Design (FMCAD) ,
4
Bit-Vector Interpolation and Quantifier Elimination by Lazy..:
, In:
1-4