Main menu
Biblios
-
2020
Multi-agent safety verification using symmetry transformations
26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) -
2019
Partial or Complete, That’s The Question
North American Chapter of the Association for Computational Linguistics (NAACL) -
2019
Data-Driven Safety Verification of Complex Cyber-Physical Systems
Design Automation of Cyber-Physical Systems -
2018
Exploiting Partially Annotated Data for Temporal Relation Extraction
The Joint Conference on Lexical and Computational Semantics, (*SEM) -
2018
DryVR 2.0: A tool for verification and controller synthesis of black-box cyber-physical systems
Hybrid Systems: Computation and Control – 21st International Conference, (HSCC) -
2018
Verifying nonlinear analog and mixed-signal circuits with inputs
IFAC Conference on Analysis and Design of Hybrid Systems, (ADHS) -
2018
Controller Synthesis Made Real: Reach-Avoid Specifications and Linear Dynamics
Computer Aided Verification – 30th International Conference, (CAV)