Publications

Export 57 results:
Author Keyword Title [ Type(Desc)] Year
Filters: Author is Hadas Kress-Gazit  [Clear All Filters]
Conference Paper
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. 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.
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.
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.
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.
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
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.
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.
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.
B. Johnson and Kress-Gazit, H., Probabilistic Guarantees for High-Level Robot Behavior in the Presence of Sensor Error, Autonomous Robots, vol. 33, pp. 309-321, 2012.
K. Weng Wong and Kress-Gazit, H., Robot Operating System (ROS) Introspective Implementation of High-Level Task Controllers, Journal of Software Engineering for Robotics (JOSER) - Special Issue on the IRC2017 Conference, vol. 8, no. 1, pp. 65-77, 2017.

Pages