Publications

Export 19 results:
Author Keyword Title [ Type(Desc)] Year
Filters: First Letter Of Last Name is F  [Clear All Filters]
Conference Paper
G. Jing, Finucane, C., Raman, V., and Kress-Gazit, H., Correct High-level Robot Control from Structured English, in IEEE International Conference on Robotics and Automation, 2012, pp. 3543-3544.
C. Finucane, Jing, G., and Kress-Gazit, H., Designing Reactive Robot Controllers with LTLMoP, in Automated Action Planning for Autonomous Mobile Robots, 2011.
H. Kress-Gazit, Fainekos, G. E., and Pappas, G. J., From Structured English to Robot Motion, in Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2007, pp. 2717-2722.
S. Hamill, Peele, B., Ferenz, P., Westwater, M., Shepherd, R. F., and Kress-Gazit, H., Gait Synthesis for Modular Soft Robots, in International Symposium on Experimental Robotics, Tokyo, Japan, 2016.
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.
C. Finucane, Jing, G., and Kress-Gazit, H., LTLMoP: Experimenting with Language, Temporal Logic and Robot Control, in IEEE/RSJ Int'l. Conf. on Intelligent Robots and Systems, Taipei, Taiwan, 2010, pp. 1988 - 1993.
S. Maniatopoulos, Blair, M., Finucane, C., and Kress-Gazit, H., Open-world mission specification for reactive robots, in Robotics and Automation (ICRA), 2014 IEEE International Conference on, 2014.
V. Raman, Lignos, C., Finucane, C., Lee, K., Marcus, M., and Kress-Gazit, H., Sorry Dave, I'm Afraid I Can't Do That: Explaining Unachievable Robot Tasks Using Natural Language, in Robotics: Science and Systems, 2013.
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.
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.
H. Kress-Gazit, Fainekos, G. E., and Pappas, G. J., Where's Waldo? Sensor-Based Temporal Logic Motion Planning, in IEEE International Conference on Robotics and Automation, Rome, Italy, 2007, pp. 3116-3121.