Publications
Export 2 results:
Author Keyword Title Type [ Year
Filters: Keyword is Navigation [Clear All Filters]
“SMT-Based Control and Feedback for Social Navigation”, in International Conference on Robotics and Automation (ICRA), 2019, pp. 5005-5011.
, “Correct, Reactive, High-Level Robot Control”, IEEE Robotics Automation Magazine, vol. 18, pp. 65-74, 2011.
,