Export 3 results:
Author Keyword Title Type [ Year(Asc)]
Filters: First Letter Of Title is H  [Clear All Filters]
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.
S. Castro, Koehler, S., and Kress-Gazit, H., High-level control of modular robots, in EEE/RSJ International Conference on Intelligent Robots and Systems, 2011, pp. 3120-3125.
G. E. Fainekos, Kress-Gazit, H., and Pappas, G. J., Hybrid Controllers for Path Planning: A Temporal Logic Approach, in Proceedings of the 44th IEEE Conference on Decision and Control, 2005, pp. 4885 - 4890.