Publications

Export 3 results:
Author Keyword Title Type [ Year(Asc)]
Filters: Keyword is Safety  [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.
2018
K. W. Wong, Ehlers, R., and Kress-Gazit, H., “Resilient, Provably-Correct, and High-Level Robot Behaviors”, IEEE Transactions on Robotics, vol. 34, pp. 936-952, 2018.
2015
K. Weng Wong and Kress-Gazit, H., “Let's talk: Autonomous conflict resolution for robots carrying out individual high-level tasks in a shared workspace”, in Robotics and Automation (ICRA), 2015 IEEE International Conference on, 2015.