Search for persons
X
?
Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2023) ,
1
Verification of ℒ1 Adaptive Control using Verse Library: A ..:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
2
Verse: A Python Library for Reasoning About Multi-agent Hyb..:
, In:
?
Automated Technology for Verification and Analysis; Lecture Notes in Computer Science ,
3
Parallel and Incremental Verification of Hybrid Automata wi..:
, In:
?
2022 International Conference on Embedded Software (EMSOFT) ,
5
Industry-track: Challenges in Rebooting Autonomy with Deep ..:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
7