Search for persons
X
?
Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control ,
5
Verification and runtime assurance for dynamical systems wi..:
, In:
?
2019 IEEE 58th Conference on Decision and Control (CDC) ,
8
A Scalable Controlled Set Invariance Framework with Practic..:
, In:
?
Proceedings of the International Conference on Human-Computer Interaction in Aerospace ,
9