Search for persons
X
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
1
Towards Formal XAI: Formally Approximate Minimal Explanatio..:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
2
Verifying Generalization in Deep Learning:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
3
Verifying Learning-Based Robotic Navigation Systems:
, In:
?
Communications in Computer and Information Science; Neural Information Processing ,
4
RoMA: A Method for Neural Network Robustness Measurement an..:
, In:
?
Bridging the Gap Between AI and Reality; Lecture Notes in Computer Science ,
5
gRoMA: A Tool for Measuring the Global Robustness of Deep N..:
, In:
?
2023 Formal Methods in Computer-Aided Design (FMCAD) ,
6
DelBugV: Delta-Debugging Neural Network Verifiers:
, In:
?
Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science ,
7
Towards a Certified Proof Checker for Deep Neural Network V..:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
8
OccRob: Efficient SMT-Based Occlusion Robustness Verificati..:
, In:
?
Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation ,
9
Taming Reachability Analysis of DNN-Controlled Systems via ..:
, In:
?
Formal Methods; Lecture Notes in Computer Science ,
10
veriFIRE: Verifying an Industrial, Learning-Based Wildfire ..:
, In:
?
2023 Formal Methods in Computer-Aided Design (FMCAD) ,
11
Formally Explaining Neural Networks within Reactive Systems:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
12
Efficient Neural Network Analysis with Sum-of-Infeasibiliti..:
, In:
?
2022 Formal Methods in Computer-Aided Design (FMCAD) ,
13
Neural Network Verification with Proof Production:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
14
Neural Network Robustness as a Verification Property: A Pri..:
, In:
?
Software Engineering and Formal Methods; Lecture Notes in Computer Science ,
15