Publications

Export 4 results:
Author Keyword Title Type [ Year(Asc)]
Filters: Author is Guy Hoffman  [Clear All Filters]
2019
A. Kshirsagar, Kress-Gazit, H., and Hoffman, G., Human-Robot Handovers with Signal Temporal Logic Specifications, in the 28th IEEE International Conference on Robot and Human Interactive Communication (RO-MAN) - Late Breaking Report, New Delhi, India, 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.
A. Kshirsagar, Kress-Gazit, H., and Hoffman, G., Specifying and Synthesizing Human-Robot Handovers, in IEEE International Conference on Intelligent Robots and Systems (IROS), Macao SR, 2019.
R. Alami, Eder, K. I., Hoffman, G., and Kress-Gazit, H., Verification and Synthesis of Human-Robot Interaction (Dagstuhl Seminar 19081), Dagstuhl Reports, vol. 9, pp. 91–110, 2019.