Personensuche
X
?
2023 American Control Conference (ACC) ,
2
Sensor Safety and Multi-Objective Satellite Control under N..:
, In:
?
Automated Technology for Verification and Analysis; Lecture Notes in Computer Science ,
3
RTAEval: A Framework for Evaluating Runtime Assurance Logic:
, In:
?
2022 IEEE 61st Conference on Decision and Control (CDC) ,
6
Multi-agent motion planning using differential games with l..:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
7