Publications

Export 80 results:
Author Keyword Title Type [ Year(Asc)]
Filters: Filter is   [Clear All Filters]
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”, in Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, {IJCAI-17}, 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.
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.
2016
A. Romay, Maniatopoulos, S., Kohlbrecher, S., Schillinger, P., Stumpf, A., Kress-Gazit, H., von Stryk, O., and Conner, D., “Collaborative Autonomy Between High-level Behaviors and Human Supervisors for Remote Manipulation Tasks using Different Humanoid Robots”, Journal of Field Robotics (JFR), no. Special Issue on the DARPA Robotics Challenge Finals, 2016.
G. Jing, Tosun, T., Yim, M., and Kress-Gazit, H., “An End-To-End System for Accomplishing Tasks with Modular Robots”, in 2016 Robotics: Science and Systems Conference, Ann Arbor, Michigan, USA, 2016.
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.
M. Lahijanian, Maly, M. R., Fried, D., Kavraki, L. E., Kress-Gazit, H., and Vardi, M., “Iterative Temporal Planning in Uncertain Environments with Partial Satisfaction Guarantees”, IEEE Transactions on Robotics, vol. 32, pp. 583-599, 2016.
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.

Pages