Publications

Export 83 results:
Author Keyword Title Type [ Year(Asc)]
Filters: Filter is   [Clear All Filters]
2019
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.
T. Campos, Pacheck, A., Hoffman, G., and Kress-Gazit, H., SMT-Based Control and Feedback for Social Navigation, 2019 International Conference on Robotics and Automation (ICRA). IEEE, pp. 5005-5011, 2019.
T. Campos, Inala, J. Priya, Solar-Lezama, A., and Kress-Gazit, H., Task-Based Design of Ad-hoc Modular Manipulators, in 2019 International Conference on Robotics and Automation (ICRA), 2019.
2018
G. Jing, Tosun, T., Yim, M., and Kress-Gazit, H., Accomplishing high-level tasks with modular robots, Autonomous Robots, vol. 42, pp. 1337–1354, 2018.
J. Daudelin, Jing, G., Tosun, T., Yim, M., Kress-Gazit, H., and Campbell, M., An integrated system for perception-driven autonomy with modular robots, Science Robotics, vol. 3, 2018.
T. Tosun, Daudelin, J., Jing, G., Kress-Gazit, H., Campbell, M. E., and Yim, M., Perception-Informed Autonomous Environment Augmentation with Modular Robots, in 2018 {IEEE} International Conference on Robotics and Automation, {ICRA} 2018, Brisbane, Australia, May 21-25, 2018, 2018.
S. Moarref and Kress-Gazit, H., Reactive Synthesis for Robotic Swarms, Formal Modeling and Analysis of Timed Systems. Springer International Publishing, Beijing, China, p. 71--87, 2018.
K. W. Wong, Ehlers, R., and Kress-Gazit, H., Resilient, Provably-Correct, and High-Level Robot Behaviors, IEEE Transactions on Robotics, vol. 34, pp. 936-952, 2018.
M. Lahijanian, Svorenova, M., Morye, A. A., Yeomans, B., Rao, D., Posner, I., Newman, P., Kress-Gazit, H., and Kwiatkowska, M., Resource-Performance Tradeoff Analysis for Mobile Robots, IEEE Robotics and Automation Letters, vol. 3, pp. 1840-1847, 2018.
H. Kress-Gazit, Lahijanian, M., and Raman, V., Synthesis for Robots: Guarantees and Feedback for Robot Behavior, Annual Review of Control, Robotics, and Autonomous Systems, vol. 1, pp. 211-236, 2018.
J. Chen, Moarref, S., and Kress-Gazit, H., Verifiable Control of Robotic Swarm from High-level Specifications, in Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, {AAMAS} 2018, Stockholm, Sweden, July 10-15, 2018, 2018.
2017
J. DeCastro, Ehlers, R., Rungger, M., Balkan, A., and Kress-Gazit, H., Automated generation of dynamics-based runtime certificates for high-level control, Discrete Event Dynamic Systems, vol. 27, no. 2, p. 371--405, 2017.
E. Abraham, Kress-Gazit, H., Natale, L., and Tacchella, A., Computer-Assisted Engineering for Robotics and Autonomous Systems (Dagstuhl Seminar 17071), Dagstuhl Reports, vol. 7, pp. 48–63, 2017.
J. Arkin, Walter, M. R., Boteanu, A., Napoli, M. E., Biggie, H., Kress-Gazit, H., and Howard, T. M., Contextual Awareness: Understanding Monologic Natural Language Instructions for Autonomous Robots, in Proceedings of the IEEE International Symposium on Robot and Human Interactive Communication (RO-MAN), 2017.
S. Moarref and Kress-Gazit, H., Decentralized Control of Robotic Swarms from High-Level Temporal Logic Specifications, in International Symposium on Multi-Robot and Multi-Agent Systems, Los Angeles, California, 2017.
G. Jing, Tosun, T., Yim, M., and Kress-Gazit, H., An End-to-End System for Accomplishing Tasks with Modular Robots: Perspectives for the AI Community, International Joint Conference on Artificial Intelligence. 2017.
G. Jing, Tosun, T., Yim, M., and Kress-Gazit, H., An End-to-End System for Accomplishing Tasks with Modular Robots: Perspectives for the AI community, in Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, {IJCAI-17}, 2017.
B. Johnson, Havlak, F., Kress-Gazit, H., and Campbell, M., Experimental Evaluation and Formal Analysis of High-Level Tasks with Dynamic Obstacle Anticipation on a Full-Sized Autonomous Vehicle, Journal of Field Robotics, 2017.
K. Weng Wong and Kress-Gazit, H., From High-Level Task Specification to Robot Operating System (ROS) Implementation, in 2017 First IEEE International Conference on Robotic Computing (IRC), 2017.
J. Alonso-Mora, DeCastro, J. A., Raman, V., Rus, D., and Kress-Gazit, H., Reactive mission and motion planning with deadlock resolution avoiding dynamic obstacles, Autonomous Robots, 2017.
A. Boteanu, Arkin, J., Patki, S., Howard, T., and Kress-Gazit, H., Robot-Initiated Specification Repair through Grounded Language Interaction, AAAI Fall Symposium 2017, Natural Communication for Human-Robot Collaboration. 2017.

Pages