Personensuche
X
?
Reversible Computation; Lecture Notes in Computer Science ,
3
Model Checking Reversible Systems: Forwardly:
, In:
?
2022 IEEE 61st Conference on Decision and Control (CDC) ,
5
Safe Backstepping with Control Barrier Functions:
, In:
?
2022 Latin American Robotics Symposium (LARS), 2022 Brazilian Symposium on Robotics (SBR), and 2022 Workshop on Robotics in Education (WRE) ,
6