Skip to main content

in this section

Hadas Kress-Gazit

hk478-profile.jpg
  • Hadas Kress-Gazit
  • Dept: Mechanical and Aerospace Engineering
  • Title: Associate Professor
  • Address: 551 Upson Hall
  • Phone: 607 255-1592
  • return to list

return to profile

Selected Publications

  • Jing, G., T. Tosun, M. Yim, H. Kress-Gazit. 2016. "An End-To-End System for Accomplishing Tasks with Modular Robots." Paper presented at Robotics: Science and Systems (RSS), Ann Arbor, Michigan, USA, June.
  • Raman, V., N. Piterman, C. Finucane, H. Kress-Gazit. 2015. "Timing Semantics for Abstraction and Execution of Synthesized High-Level Robot Control." IEEE Transactions on Robotics 31 (3): 591-604.
  • DeCastro, J., H. Kress-Gazit. 2015. "Dynamics-Driven Adaptive Abstraction for Reactive High Level Mission and Motion Planning." Paper presented at IEEE International Conference on Robotics and Automation 2015, Seattle WA, May.
  • Wong, K., H. Kress-Gazit. 2015. "Let's Talk: Autonomous Conflict Resolution for Robots Carrying out Individual High-level Tasks in a Shared Workspace." Paper presented at IEEE International Conference on Robotics and Automation 2015, Seattle WA, May.
  • Lignos, C., V. Raman, C. Finucane, M. Marcus, H. Kress-Gazit. 2015. "Provably correct reactive control from natural language." Autonomous Robots 38 (1): 89-105.
  • Hamill, S., B. Peele, P. Ferenz, M. Westwater, R. Shepher, H. Kress-Gazit. 2016. "Gait Synthesis for Modular Soft Robots." Paper presented at International Symposium on Experimental Robotics (ISER), Tokyo, Japan, October (4th Quarter/Autumn).
  • Boteanu, A., T. Howard, J. Arkin, H. Kress-Gazit. 2016. "A Model for Verifiable Grounding and Execution of Complex Language Instructions." Paper presented at IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Daejeon, Korea, October (4th Quarter/Autumn).
  • Wong, K., H. Kress-Gazit. 2016. "Need-based Coordination for Decentralized High-level Robot Control." Paper presented at IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Daejeon, Korea, October (4th Quarter/Autumn).
  • Romay, A., S. Maniatopoulos, S. Kohlbrecher, P. Schillinger, A. Stumpf, H. Kress-Gazit, O. von¬†Stryk, D C Conner. 2016. "Collaborative Autonomy between High-level Behaviors and Human Operators for Remote Manipulation Tasks using Different Humanoid Robots." Journal of Field Robotics.
  • Lahijanian, M., M. Maly, D. Fried, L. Kavraki, H. Kress-Gazit, M. Vardi. 2016. "Iterative Temporal Planning in Uncertain Environments With Partial Satisfaction Guarantees." IEEE Transactions on Robotics 32 (3): 583-599.
  • Maniatopoulos, S., P. Schillinger, V. Pong, D. Conner, H. Kress-Gazit. 2016. "Reactive High-level Behavior Synthesis for an ATLAS Humanoid Robot." Paper presented at IEEE International Conference on Robotics and Automation, Stockholm, Sweden, May.
  • DeCastro, J., H. Kress-Gazit. 2016. "Nonlinear Controller Synthesis and Automatic Workspace Partitioning for Reactive High-Level Behaviors." Paper presented at Hybrid Systems: Computation and Control (HSCC), Vienna, Austria, April (2nd Quarter/Spring).
  • DeCastro, J., R. Ehlers, M. Rungger, A. Balkan, H. Kress-Gazit. 2016. "Automated generation of dynamics-based runtime certificates for high-level control." Discrete Event Dynamic Systems.
  • DeCastro, J., J. Alonso-Mora, V. i Raman, D. Rus, H. Kress-Gazit. 2015. "Collision-Free Reactive Mission and Motion Planning for Multi-Robot Systems." Paper presented at , International Symposium of Robotics Research (ISRR), Sestri Levante, Italy, September.
  • Mehta, A., J. DelPreto, K. Wong, S. Hamill, H. Kress-Gazit, D. Rus. 2015. "Robot Creation from Functional Specifications." Paper presented at , International Symposium of Robotics Research (ISRR), Sestri Levante, Italy, September.
  • Tosun, T., G. Jing, H. Kress-Gazit, M. Yim. 2015. "Computer-Aided Compositional Design and Verification for Modular Robots." Paper presented at , International Symposium of Robotics Research (ISRR), Sestri Levante, Italy, September.
  • Johnson, B., H. Kress-Gazit. 2015. "Analyzing and revising synthesized controllers for robots with sensing and actuation errors." The International Journal of Robotics Research 34 (6): 816-832.
  • DeCastro, J., H. Kress-Gazit. 2015. "Synthesis of nonlinear continuous controllers for verifiably correct high-level, reactive behaviors." The International Journal of Robotics Research 34 (3): 378-394.
  • Wong, K. W., R. Ehlers, Hadas Kress Gazit. 2014. "Correct High-level Robot Behavior in Environments with Unexpected Events." Berkely, California, United States July (3rd Quarter/Summer).
  • Ehlers, R., S. A. Seshia, Hadas Kress Gazit. 2014. "Synthesis with Identiers." Paper presented at Verification, Model Checking, and Abstract Interpretation (VMCAI), San Diego, CA, United States, January (1st Quarter/Winter).
  • Raman, V., Hadas Kress Gazit. 2014. "Synthesis for Multi-Robot Controllers with Interleaved Motion." Paper presented at IEEE International Conference on Robotics and Automation
  • Maniatopoulos, S., M. Blair, C. Finucane, Hadas Kress Gazit. 2014. "Open-World Mission Specification for Reactive Robots." Paper presented at IEEE International Conference on Robotics and Automation
  • Maniatopoulos, S., M. Blair, C. Finucane, Hadas Kress Gazit. 2014. "Open-World Mission Specication for Reactive Robots." Shanghai, China
  • Johnson, B., Hadas Kress Gazit. 2013. "Analyzing and Revising High-Level Robot Behaviors Under Actuator Error." Proceedings of the 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, Tokyo, Japan, November.
  • Kress Gazit, Hadas, J. A. DeCastro. 2013. "Guaranteeing Reactive High-Level Behaviors for Robots with Complex Dynamics." Proceedings of the 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, Tokyo, Japan, November.
  • Jing, G., R. Ehlers, Hadas Kress Gazit. 2013. "Shortcut Through an Evil Door: Optimality of Correct-by- Construction Controllers in Adversarial Environments." Proceedings of the 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, Tokyo, Japan, November.
  • Raman, V., Hadas Kress Gazit. 2013. "Minimal Explanations of Unsynthesizability for High-Level Robot Behaviors." Proceedings of the 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, Tokyo, Japan, November.
  • Wong, K. W., C. Finucane, Hadas Kress Gazit. 2013. "Provably-Correct Robot Control with LTLMoP, OMPL and ROS". Proceedings of the 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems. Tokyo, Japan:
  • Raman, V., C. Lignos, C. Finucane, K. Lee, M. Marcus, Hadas Kress Gazit. 2013. "Sorry Dave, Im Afraid I Cant Do That: Explaining Unachievable Robot Tasks Using Natural Language." Proceedings of Robotics: Science and Systems 2013, Berlin, Germany, June.
  • Jing, G., Hadas Kress Gazit. 2013. "Improving the Continuous-domain Performance of Reactive LTL-based Controllers." Paper presented at IEEE International Conference on Robotics and Automation, Karlsruhe, Germany, May.
  • Raman, V., N. Piterman, Hadas Kress Gazit. 2013. "Provably Correct Continuous Control for High-Level Robot Behaviors with Actions of Arbitrary Execution Durations." Paper presented at IEEE International Conference on Robotics and Automation, Karlsruhe, Germany, May.
  • Maly, M R., M. Lahijanian, L E. Kavraki, Hadas Kress Gazit, M Y Vardi. 2013. "Iterative Temporal Motion Planning for Hybrid Systems in Partially Unknown Environments." Paper presented at Hybrid Systems: Computation and Control (HSCC), Philadelphia, PA, United States, April (2nd Quarter/Spring).
  • Raman, V., H Kress-Gazit. 2013. "Explaining Impossible High-Level Robot Behaviors." IEEE TRANSACTIONS ON ROBOTICS 29 (1): 94-104.
  • Raman, V., Hadas Kress Gazit. 2013. "Unsynthesizable Cores - Minimal Explanations for Unsynthesizable High- Level Robot Behaviors." .
  • Raman, V., Xu Bingxin, Hadas Kress Gazit. 2012. "Avoiding forgetfulness: Structured English specifications for high-level robot control with implicit memory." Paper presented at 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems, Vilamoura, Algarve, Portugal, October (4th Quarter/Autumn).
  • Johnson, B., H Kress-Gazit. 2012. "Probabilistic guarantees for high-level robot behavior in the presence of sensor error." Autonomous Robots 33 (3): 309-321.
  • Lingos, C., D J. Brooks, C. Finucane, M S. Medvedev, I. Perera, V. Raman, Hadas Kress Gazit, M P. Marcus, H A Yanco. 2012. "Make it so: Continuous, exible natural language interaction with an autonomous robot." Paper presented at AAAI 2012 Workshop on Grounding Language for Physical Systems, Toronto, Canada, July (3rd Quarter/Summer).
  • Raman, V., B. Xu, Hadas Kress Gazit. 2012. "Avoiding Forgetfulness: Structured English Specifications for High-Level Robot Control with Implicit Memory". Proceedings of the 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems. Algarve, Portugal:
  • Raman, V., C. Finucane, Hadas Kress Gazit. 2012. "Temporal Logic-Based Mission Planning for Robots with Slow and Fast Actions." Proceedings of the 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems, Vilamoura, Algarve, Portugal
  • Sarid, S., B. Xu, Hadas Kress Gazit. 2012. "Guaranteeing High-Level Behaviors while Exploring Partially Known Maps." Paper presented at Robotics: Science and Systems VIII, Sydney, Australia
  • Johnson, B., P. Havlak, M. Campbell, Hadas Kress Gazit. 2012. "Execution and Analysis of High-Level Tasks with Dynamic Obstacle Anticipation." Paper presented at IEEE International Conference on Robotics and Automation, Saint Paul, Minnesota
  • Raman, V., Hadas Kress Gazit. 2012. "Automated Feedback For Unachievable High-Level Robot Behaviors." Paper presented at IEEE International Conference on Robotics and Automation, Saint Paul, Minnesota
  • Jing, G., C. Finucane, V. Raman, Hadas Kress Gazit. 2012. "Correct High-level Robot Control from Structured English." Paper presented at IEEE International Conference on Robotics and Automation, Saint Paul, Minnesota
  • Brooks, D J., C. Lingos, M S. Medvedev, I. Perera, C. Finucane, V. Raman, A. Shultz, S. McSheehy, A. Norton, Hadas Kress Gazit, M. Marcus, H A Yanco. 2012. "Situation Understanding Bot Through Language and Environment." Paper presented at ACM/IEEE International Conference on Human-Robot Interaction, Boston, MA
  • Castro, S., S. Koehler, Hadas Kress Gazit. 2011. "High-Level Control of Modular Robots." San Francisco September.
  • Kress Gazit, Hadas. 2011. "Robot challenges: Toward development of verication and synthesis techniques [from the Guest Editors]". 18 (3) 22-23. Robotics and Automation Magazine, IEEE.
  • Kress Gazit, Hadas, T. Wongpiromsarn, U Topcu. 2011. "Correct, Reactive, High-Level Robot Control Mitigating the State Explosion Problem of Temporal Logic Synthesis." IEEE Robotics and Automation Magazine 18 (3): 65 - 74.
  • Raman, V., Hadas Kress Gazit. 2011. "Analyzing Unsynthesizable Specications for High-Level Robot Behavior." Snowbird, Utah July (3rd Quarter/Summer).
  • Johnson, B., Hadas Kress Gazit. 2011. "Probabilistic Analysis of Correctness of High-Level Robot Behavior with Sensor Error." Los Angeles, CA June.
  • Salzberger, Cameron, K.-Y. Daisy Fan, Hadas Kress Gazit. 2011. "MATLAB-based Simulator for the iRobot Create".
  • Finucane, C., G. Jing, Hadas Kress Gazit. 2010. "LTLMoP: Experimenting with Language, Temporal Logic and Robot Control." October (4th Quarter/Autumn).
  • Lee, D., M. McClelland, J. Schneider, T L. Yang, D. Gallagher, D. Shah, N. Ahmed, P. MoraN, A. Nathan, Hadas Kress Gazit, Mark Campbell. 2010. "Distributed, Collaborative Human-Robotic Networks for Outdoor Experiments in Search, Identify and Track." October (4th Quarter/Autumn).
  • Allbeck, J M., Hadas Kress Gazit. 2010. "Constraints-Based Complex Behavior in Rich Environments." September.
  • Kress Gazit, Hadas, G J Pappas. 2010. "Automatic Synthesis of Robot Controllers for Tasks with Locative Prepositions." May.
  • Kress-Gazit, H., G E. Fainekos, G J Pappas. 2009. "Temporal-Logic-Based Reactive Mission and Motion Planning." IEEE TRANSACTIONS ON ROBOTICS 25 (6): 1370-1381.
  • Fainekos, G E., A. Girard, H. Kress-Gazit, G J Pappas. 2009. "Temporal logic motion planning for dynamic robots." Automatica 45 (2): 343-352.
  • Kress Gazit, Hadas, D. C. Conner, H. Choset, A. A. Rizzi, G. J. Pappas. 2008. "Courteous cars - Decentralized multiagent traffic coordination." Ieee Robotics & Automation Magazine 15 (1): 30-38.
  • Kress-Gazit, H., G E. Fainekos, G J Pappas. 2008. "Translating Structured English to Robot Controllers." Advanced Robotics 22 (12): 1343-1359.