Personensuche
X
?
2023 Formal Methods in Computer-Aided Design (FMCAD) ,
12
Formally Explaining Neural Networks within Reactive Systems:
, In:
?
2023 Formal Methods in Computer-Aided Design (FMCAD) ,
13
DelBugV: Delta-Debugging Neural Network Verifiers:
, In:
?
Communications in Computer and Information Science; Neural Information Processing ,
14
RoMA: A Method for Neural Network Robustness Measurement an..:
, In:
?
Bridging the Gap Between AI and Reality; Lecture Notes in Computer Science ,
15