Publications

Export 95 results:
Author Keyword Title [ Type(Desc)] Year
Conference Paper
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.
V. Raman, Lignos, C., Finucane, C., Lee, K., Marcus, M., and Kress-Gazit, H., Sorry Dave, I'm Afraid I Can't Do That: Explaining Unachievable Robot Tasks Using Natural Language, in Robotics: Science and Systems, 2013.
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.
V. Raman and Kress-Gazit, H., Synthesis for multi-robot controllers with interleaved motion, in Robotics and Automation (ICRA), 2014 IEEE International Conference on, 2014.
R. Ehlers, Seshia, S. A., and Kress-Gazit, H., Synthesis with Identifiers, in Verification, Model Checking, and Abstract Interpretation - 15th International Conference, {VMCAI} 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings, 2014.
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.
G. E. Fainekos, Kress-Gazit, H., and Pappas, G. J., Temporal logic motion planning for mobile robots, in IEEE International Conference on Robotics and Automation, Barcelona, Spain, 2005, pp. 2020-2025.
V. Raman, Finucane, C., and Kress-Gazit, H., Temporal logic robot mission planning for slow and fast actions, in IEEE/RSJ International Conference on Intelligent Robots and Systems, 2012, pp. 251-256.
V. Raman and Kress-Gazit, H., Toward Minimal Explanations of Unsynthesizability for High-Level Robot Behaviors, in International Conference on Intelligent Robots and Systems (IROS), 2013.
D. C. Conner, Kress-Gazit, H., Choset, H., Rizzi, A. A., and Pappas, G. J., Valet parking without a valet, in IEEE/RSJ Int'l. Conf. on Intelligent Robots and Systems, San Diego, CA, 2007, pp. 572-577.
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.
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.
Journal Article
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.
B. Johnson and Kress-Gazit, H., Analyzing and revising synthesized controllers for robots with sensing and actuation errors, I. J. Robotic Res., vol. 34, pp. 816–832, 2015.
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.
S. Moarref and Kress-Gazit, H., Automated synthesis of decentralized controllers for robot swarms from high-level temporal logic specifications, Autonomous Robots, 2019.
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), vol. 34, no. Special Issue on the DARPA Robotics Challenge Finals, p. 333--358, 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.
H. Kress-Gazit, Wongpiromsarn, T., and Topcu, U., Correct, Reactive, High-Level Robot Control, IEEE Robotics Automation Magazine, vol. 18, pp. 65-74, 2011.
H. Kress-Gazit, Conner, D. C., Choset, H., Rizzi, A. A., and Pappas, G. J., Courteous cars: Decentralized multi-agent traffic coordination, Robotics and Automation Magazine, vol. 15, pp. 30-38, 2008.
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, vol. 34, no. 5, p. 897--911, 2017.
V. Raman and Kress-Gazit, H., Explaining Impossible High-Level Robot Behaviors, Robotics, IEEE Transactions on, vol. PP, pp. 1 -11, 2012.
V. Raman and Kress-Gazit, H., Explaining Impossible High-Level Robot Behaviors, IEEE Transactions on Robotics, vol. 29, pp. 94–104, 2013.
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.
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.

Pages