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 ,
2
RTAEval: A Framework for Evaluating Runtime Assurance Logic:
, In:
?
2023 American Control Conference (ACC) ,
3
Sensor Safety and Multi-Objective Satellite Control under N..:
, In:
?
2022 IEEE 61st Conference on Decision and Control (CDC) ,
4
Multi-agent motion planning using differential games with l..:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
5
Fast and Guaranteed Safe Controller Synthesis for Nonlinear..:
, In:
?
?
Textbook of Good Clinical Practice in Cold Plasma Therapy ,
10
How to Assure Good Clinical Practice in Plasma Therapy?:
, In:
?
2020 IEEE Aerospace Conference ,
11