Export 9 results:
Author Keyword Title Type [ Year(Asc)]
Filters: First Letter Of Title is S  [Clear All Filters]
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.
H. Kress-Gazit, Lahijanian, M., and Raman, V., Synthesis for Robots: Guarantees and Feedback for Robot Behavior, Annual Review of Control, Robotics, and Autonomous Systems, vol. 1, pp. 211-236, 2018.
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.
R. Ehlers, Seshia, S. A., and Kress-Gazit, H., Synthesis with Identifiers, in Verification, Model Checking, and Abstract Interpretation - 15th International Conference, {VMCAI} 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings, 2014.