Personensuche
X
?
Proceedings of the 55th ACM Technical Symposium on Computer Science Education V. 1 ,
1
ChatGPT in the Classroom: An Analysis of Its Strengths and ..:
, In:
?
Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control ,
2
Data-driven Verification of Autonomous Systems: Reachabilit..:
, In:
?
2024 ACM/IEEE 15th International Conference on Cyber-Physical Systems (ICCPS) ,
3
Optimal Runtime Assurance via Reinforcement Learning:
, In:
?
Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2023) ,
5
Verification of ℒ1 Adaptive Control using Verse Library: A ..:
, In:
?
2023 62nd IEEE Conference on Decision and Control (CDC) ,
10
Safety of the Stanley Controller with Curved Lanes and Nois..:
, In:
?
Automated Technology for Verification and Analysis; Lecture Notes in Computer Science ,
13