Publications

Export 3 results:
Author Keyword Title Type [ Year(Asc)]
Filters: Keyword is collision avoidance  [Clear All Filters]
2019
T. Campos, Pacheck, A., Hoffman, G., and Kress-Gazit, H., SMT-Based Control and Feedback for Social Navigation, in International Conference on Robotics and Automation (ICRA), 2019, pp. 5005-5011.
2014
V. Raman and Kress-Gazit, H., Synthesis for multi-robot controllers with interleaved motion, in Robotics and Automation (ICRA), 2014 IEEE International Conference on, 2014.