Publications

Export 5 results:
Author Keyword Title Type [ Year(Asc)]
Filters: First Letter Of Title is T and Author is Hadas Kress-Gazit  [Clear All Filters]
2012
V. Raman, Finucane, C., and Kress-Gazit, H., Temporal logic robot mission planning for slow and fast actions, in IEEE/RSJ International Conference on Intelligent Robots and Systems, 2012, pp. 251-256.
2005
G. E. Fainekos, Kress-Gazit, H., and Pappas, G. J., Temporal logic motion planning for mobile robots, in IEEE International Conference on Robotics and Automation, Barcelona, Spain, 2005, pp. 2020-2025.