Export 95 results:
Author Keyword Title Type [ Year(Asc)]
In Press
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.
S. Moarref and Kress-Gazit, H., Automated synthesis of decentralized controllers for robot swarms from high-level temporal logic specifications, Autonomous Robots, 2019.
A. Pacheck, Konidaris, G., and Kress-Gazit, H., Automatic Encoding and Repair of Reactive High-Level Tasks with Learned Abstract Representations, in The International Symposium on Robotics Research (ISRR), Hanoi, Vietnam, 2019.
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.
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, in International Conference on Robotics and Automation (ICRA), 2019, pp. 5005-5011.
A. Kshirsagar, Kress-Gazit, H., and Hoffman, G., Specifying and Synthesizing Human-Robot Handovers, in IEEE International Conference on Intelligent Robots and Systems (IROS), Macao SR, 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.
R. Alami, Eder, K. I., Hoffman, G., and Kress-Gazit, H., Verification and Synthesis of Human-Robot Interaction (Dagstuhl Seminar 19081), Dagstuhl Reports, vol. 9, pp. 91–110, 2019.
L. E. Clement, Peretroukhin, V., Giamou, M., Leonard, J. J., Kress-Gazit, H., How, J. P., Milford, M., Brock, O., Gariepy, R., Roy, N., Siegel, H., Righetti, L., Billard, A., and Kelly, J., Where Do We Go From Here? Debates on the Future of Robotics Research at ICRA 2019 [From the Field], IEEE Robot. Automat. Mag., vol. 26, pp. 7–10, 2019.
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.
H. Kress-Gazit and Torfah, H., The Challenges in Specifying and Explaining Synthesized Implementations of Reactive Systems, in Proceedings 3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology, CREST@ETAPS 2018, Thessaloniki, Greece, 21st April 2018, 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, no. 23, 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 International Conference on Robotics and Automation (ICRA), Brisbane, Australia, May 21-25, 2018, 2018.
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, vol. 42, pp. 801–824, 2018.
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.
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) , Stockholm, Sweden, 2018.