Personensuche
X
?
2023 62nd IEEE Conference on Decision and Control (CDC) ,
3
Safe Navigation of Networked Robots Under Localization Unce..:
, In:
?
Lecture Notes in Computer Science; Formal Modeling and Analysis of Timed Systems ,
6
Formal Methods for Robot Motion Planning with Time and Spac..:
, In:
?
2020 59th IEEE Conference on Decision and Control (CDC) ,
7