Publications

Export 40 results:
Author Keyword [ Title(Asc)] Type Year
Filters: Author is Hadas Kress-Gazit  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
W
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.
R
A. Mehta, DelPreto, J., Wong, K. Weng, Hamill, S., Kress-Gazit, H., and Rus, D., Robot Creation from Functional Specifications, in The International Symposium on Robotics Research (ISRR), Sestri Levante, Italy, 2015.
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.
N
J. A. DeCastro and Kress-Gazit, H., Nonlinear Controller Synthesis and Automatic Workspace Partitioning for Reactive High-Level Behaviors, in Proceedings of the 19th ACM International Conference on Hybrid Systems: Computation and Control (HSCC), Vienna, Austria, 2016.
K. Weng Wong and Kress-Gazit, H., Needed-based Coordination for Decentralized High-level Robot Control, in IEEE International Conference on Intelligent Robots and Systems (IROS2016), Daejeon, Korea, 2016.
I
G. Jing and Kress-Gazit, H., Improving the Continuous Execution of Reactive LTL-based Controllers, in IEEE International Conference on Robotics and Automation, Karlsruhe, Germany, 2013.
H
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.
G
J. DeCastro and Kress-Gazit, H., Guaranteeing Reactive High-Level Behaviors for Robots with Complex Dynamics, in IEEE/RSJ Int'l. Conf. on Intelligent Robots and Systems, Tokyo, Japan, 2013.
S. Sarid, Xu, B., and Kress-Gazit, H., Guaranteeing High-Level Behaviors while Exploring Partially Known Maps, in Proceedings of Robotics: Science and Systems, Sydney, Australia, 2012.
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.
F
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.

Pages