Search for persons
X
?
2024 IEEE International Conference on Robotics and Automation (ICRA) ,
1
Real-Time Capable Decision Making for Autonomous Driving Us..:
, In:
?
Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control ,
2
Falsification using Reachability of Surrogate Koopman Model:
, In:
?
Automated Technology for Verification and Analysis; Lecture Notes in Computer Science ,
4
AutoKoopman: A Toolbox for Automated System Identification ..:
, In:
?
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control ,
5
Reachability Analysis for Linear Systems with Uncertain Par..:
, In:
?
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control ,
6
Fully-Automated Verification of Linear Systems Using Reacha..:
, In:
?
Lecture Notes in Computer Science; NASA Formal Methods ,
7
Open- and Closed-Loop Neural Network Verification Using Pol..:
, In:
?
2022 IEEE 61st Conference on Decision and Control (CDC) ,
12
Conformant Synthesis for Koopman Operator Linearized Contro..:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
15