Hadas Kress‐Gazit

About

Hadas Kress-Gazit is a pioneering roboticist whose work sits at the intersection of formal methods, motion planning, and human-robot interaction. Best known for developing frameworks that use **temporal logic** to automatically synthesize provably correct robot controllers, her research has fundamentally changed how complex robotic behaviors can be specified, verified, and deployed. Her landmark 2009 paper, "Temporal-Logic-Based Reactive Mission and Motion Planning," has garnered over 755 citations and established a foundational approach for guaranteeing that robots satisfy high-level task specifications in dynamic environments — a problem she began tackling as early as 2006 with seminal work on temporal logic motion planning (233 citations). Kress-Gazit extended these ideas to make robotics more accessible to non-experts, developing tools like LTLMoP, which bridges structured English, temporal logic, and robot control, and pioneering work on translating natural language into robot instructions. Her 2020 survey "Robots That Use Language" (204 citations) reflects her broader vision of intuitive human-robot communication. Through her synthesis-based approach — summarized accessibly in her 2018 Annual Review piece (170 citations) — she has given the robotics community a rigorous pathway from high-level human intent to guaranteed robot behavior, influencing researchers across autonomous systems, verification, and AI.

Research Focus

Key Achievements

Top Papers

1. 1
   Temporal-Logic-Based Reactive Mission and Motion Planning

   755 citations · 2009
2. 2
   Temporal logic motion planning for dynamic robots

   460 citations · 2008
3. 3
   Temporal Logic Motion Planning for Mobile Robots

   233 citations · 2006
4. 4
   Where's Waldo? Sensor-Based Temporal Logic Motion Planning

   222 citations · 2007
5. 5
   Robots That Use Language

   204 citations · 2020
6. 6
   Hybrid Controllers for Path Planning: A Temporal Logic Approach

   172 citations · 2006
7. 7
   LTLMoP: Experimenting with language, Temporal Logic and robot control

   171 citations · 2010
8. 8
   Synthesis for Robots: Guarantees and Feedback for Robot Behavior

   170 citations · 2018
9. 9
   Translating Structured English to Robot Controllers

   150 citations · 2008
10. 10
    Correct, Reactive, High-Level Robot Control

    122 citations · 2011

Key Collaborators

Contact & Links