Search for persons
X
?
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering ,
3
Neural termination analysis:
, In:
?
Quantitative Evaluation of Systems; Lecture Notes in Computer Science ,
4
LCRL: Certified Policy Synthesis via Logically-Constrained ..:
, In:
?
Proceedings of the 20th International Conference on Autonomous Agents and MultiAgent Systems ,
6
Shielding Atari Games with Bounded Prescience:
, In:
?
Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis ,
7
Exposing previously undetectable faults in deep neural netw..:
, In:
?
2021 IEEE/CVF International Conference on Computer Vision (ICCV) ,
8
Explanations for Occluded Images:
, In:
?
Computer Vision – ECCV 2020; Lecture Notes in Computer Science ,
11
Explaining Image Classifiers Using Statistical Fault Locali..:
, In:
?
Proceedings of the 19th International Conference on Autonomous Agents and MultiAgent Systems ,
12
Cautious Reinforcement Learning with Logical Constraints:
, In:
?
Proceedings of the 57th ACM/EDAC/IEEE Design Automation Conference ,
13
Learning concise models from long execution traces:
, In:
?
Proceedings of the 15th ACM Asia Conference on Computer and Communications Security ,
14
The Taint Rabbit: Optimizing Generic Taint Analysis with Dy..:
, In:
?
2020 Formal Methods in Computer Aided Design (FMCAD) ,
15