Search for persons
X
?
2024 IEEE International Conference on Robotics and Automation (ICRA) ,
1
Real-Time Capable Decision Making for Autonomous Driving Us..:
, In:
?
2024 ACM/IEEE 15th International Conference on Cyber-Physical Systems (ICCPS) ,
2
Zero-One Attack: Degrading Closed-Loop Neural Network Contr..:
, In:
?
AI Verification; Lecture Notes in Computer Science ,
7
Verification of Neural Network Control Systems in Continuou..:
, In:
?
Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control ,
8
Falsification using Reachability of Surrogate Koopman Model:
, In:
?
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control ,
9
Fully-Automated Verification of Linear Systems Using Reacha..:
, In:
?
Lecture Notes in Computer Science; NASA Formal Methods ,
10
Open- and Closed-Loop Neural Network Verification Using Pol..:
, In:
?
Automated Technology for Verification and Analysis; Lecture Notes in Computer Science ,
11
AutoKoopman: A Toolbox for Automated System Identification ..:
, In:
?
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control ,
12
Reachability Analysis for Linear Systems with Uncertain Par..:
, In:
?
Formal Methods; Lecture Notes in Computer Science ,
15