Publications
Export 3 results:
Author Keyword Title Type [ Year
Filters: Keyword is Robot kinematics [Clear All Filters]
“SMT-Based Control and Feedback for Social Navigation”, in International Conference on Robotics and Automation (ICRA), 2019, pp. 5005-5011.
, “Resource-Performance Tradeoff Analysis for Mobile Robots”, IEEE Robotics and Automation Letters, vol. 3, pp. 1840-1847, 2018.
, “From High-Level Task Specification to Robot Operating System (ROS) Implementation”, in 2017 First IEEE International Conference on Robotic Computing (IRC), 2017.
,