Publications

Export 17 results:
Author Keyword Title [ Type(Desc)] Year
Filters: First Letter Of Last Name is P  [Clear All Filters]
Conference Paper
H. Kress-Gazit and Pappas, G. J., Automatic Synthesis of Robot Controllers for Tasks with Locative Prepositions, in IEEE International Conference on Robotics and Automation, Anchorage, Alaska, 2010, pp. 3215-3220.
H. Kress-Gazit and Pappas, G. J., Automatically Synthesizing a Planning and Control Subsystem for the DARPA Urban Challenge, in IEEE Conference on Automation Science and Engineering, Washington D.C., USA, 2008.
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.
V. Raman, Piterman, N., and Kress-Gazit, H., Provably Correct Continuous Control for High-Level Robot Behaviors with Actions of Arbitrary Execution Durations, in IEEE International Conference on Robotics and Automation, 2013.
S. Maniatopoulos, Schillinger, P., Pong, V., Conner, D. C., and Kress-Gazit, H., Reactive high-level behavior synthesis for an Atlas humanoid robot, in 2016 IEEE International Conference on Robotics and Automation (ICRA), 2016.
H. Kress-Gazit, Ayanian, N., Pappas, G. J., and Kumar, V., Recycling controllers, in IEEE Conference on Automation Science and Engineering, Washington D.C., USA, 2008.
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.
D. C. Conner, Kress-Gazit, H., Choset, H., Rizzi, A. A., and Pappas, G. J., Valet parking without a valet, in IEEE/RSJ Int'l. Conf. on Intelligent Robots and Systems, San Diego, CA, 2007, pp. 572-577.
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.