Georgios Fainekos

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

Robustness of temporal logic specifications for continuous-time signals

Georgios Fainekos, George J. Pappas · Theoretical Computer Science · 2009 · 583 citations

Engineering, Automated Reasoning, Temporal Logic Specifications +7

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