Personensuche
X
?
2024 ACM/IEEE 15th International Conference on Cyber-Physical Systems (ICCPS) ,
1
Optimal Runtime Assurance via Reinforcement Learning:
, In:
?
Automated Technology for Verification and Analysis; Lecture Notes in Computer Science ,
3
RTAEval: A Framework for Evaluating Runtime Assurance Logic:
, In:
?
2023 American Control Conference (ACC) ,
4
Sensor Safety and Multi-Objective Satellite Control under N..:
, In:
?
2022 IEEE 61st Conference on Decision and Control (CDC) ,
7
Multi-agent motion planning using differential games with l..:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
8