Publications

Export 95 results:
Author Keyword Title [ Type(Desc)] Year
Conference Paper
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.
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.
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. 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.
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.
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. 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.
M. R. Maly, Lahijanian, M., Kavraki, L. E., Kress-Gazit, H., and Vardi, M. Y., Iterative Temporal Motion Planning for Hybrid Systems in Partially Unknown Environments, in Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, New York, NY, USA, 2013.
A. Kubota, Peterson, E., Rajendren, V., Kress-Gazit, H., and Riek, L., JESSIE: Synthesizing social robot behaviors for personalized neurorehabilitation and beyond, in In Proceedings of the ACM/IEEE International Conference on Human Robot Interaction (HRI) 2020, In Press.
K. Weng Wong and Kress-Gazit, H., Let's talk: Autonomous conflict resolution for robots carrying out individual high-level tasks in a shared workspace, in Robotics and Automation (ICRA), 2015 IEEE International Conference on, 2015.
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.
A. Boteanu, Howard, T., Arkin, J., and Kress-Gazit, H., A Model for Verifiable Grounding and Execution of Complex Natural Language Instructions, in IEEE IROS 2016, Proceedings of, 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.
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.
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.
T. Tosun, Daudelin, J., Jing, G., Kress-Gazit, H., Campbell, M. E., and Yim, M., Perception-Informed Autonomous Environment Augmentation with Modular Robots, in International Conference on Robotics and Automation (ICRA), Brisbane, Australia, May 21-25, 2018, 2018.
B. Johnson and Kress-Gazit, H., Probabilistic Analysis of Correctness of High-Level Robot Behavior with Sensor Error, in Proceedings of Robotics: Science and Systems, Los Angeles, CA, USA, 2011.
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.
S. Moarref and Kress-Gazit, H., Reactive Synthesis for Robotic Swarms, in Formal Modeling and Analysis of Timed Systems (FORMATS), Beijing, China, 2018, p. 71--87.
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.
S. Hamill, Whitehead, J., Ferenz, P., Shepherd, R. F., and Kress-Gazit, H., Resilient Task Planning and Execution for Reactive Soft Robots, in 2019 International Conference on Robotics and Automation (ICRA), 2019.
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.
A. Boteanu, Arkin, J., Patki, S., Howard, T., and Kress-Gazit, H., Robot-Initiated Specification Repair through Grounded Language Interaction, in AAAI Fall Symposium 2017, Natural Communication for Human-Robot Collaboration, 2017.
G. Jing, Ehlers, R., and Kress-Gazit, H., Shortcut Through an Evil Door: Optimality of Correct-by-Construction Controllers in Adversarial Environments, in IEEE International Conference on Intelligent Robots and Systems, 2013.

Pages