Personensuche
X
?
?
2024 ACM/IEEE 15th International Conference on Cyber-Physical Systems (ICCPS) ,
2
Optimal Runtime Assurance via Reinforcement Learning:
, In:
?
2023 American Control Conference (ACC) ,
5
Sensor Safety and Multi-Objective Satellite Control under N..:
, In:
?
Automated Technology for Verification and Analysis; Lecture Notes in Computer Science ,
6
RTAEval: A Framework for Evaluating Runtime Assurance Logic:
, In:
?
Textbook of Good Clinical Practice in Cold Plasma Therapy ,
8
How to Assure Good Clinical Practice in Plasma Therapy?:
, In:
?
2022 IEEE 61st Conference on Decision and Control (CDC) ,
9
Multi-agent motion planning using differential games with l..:
, In:
?
Handbook of Issues in Criminal Justice Reform in the United States ,
10
The Role of the Criminal Justice System in Substance Abuse ..:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
12
Fast and Guaranteed Safe Controller Synthesis for Nonlinear..:
, In:
?
2020 IEEE Aerospace Conference ,
14