Hadas Kress‐Gazit

Temporal-Logic-Based Reactive Mission and Motion Planning

Hadas Kress‐Gazit, Georgios Fainekos, George J. Pappas · IEEE Transactions on Robotics · 2009 · 741 citations

Robotic Systems, Engineering, Temporal-logic-based Reactive Mission +18

Temporal logic motion planning for dynamic robots

Georgios Fainekos, Antoine Girard, Hadas Kress‐Gazit et al. · Automatica · 2008 · 454 citations

Path Planning, Robot Motion Planning, Trajectory Planning +11

Temporal Logic Motion Planning for Mobile Robots

Georgios Fainekos, Hadas Kress‐Gazit, George J. Pappas · 2006 · 229 citations

Engineering, Robot Planning, Temporal Logic Formula +18

Where's Waldo? Sensor-Based Temporal Logic Motion Planning

Hadas Kress‐Gazit, Georgios Fainekos, George J. Pappas · Proceedings - IEEE International Conference on Robotics and Automation/Proceedings · 2007 · 218 citations

Artificial Intelligence, Engineering, Intelligent Robotics +19

Robots That Use Language

Stefanie Tellex, Nakul Gopalan, Hadas Kress‐Gazit et al. · Annual Review of Control Robotics and Autonomous Systems · 2020 · 193 citations · Full text

Artificial Intelligence, Robotic Systems, Engineering +16