Papers
30
Total Citations
2,334
H-Index
15
About
Georgios Fainekos is a leading researcher in formal methods for robotics, whose work bridges the gap between high-level task specifications and provably correct robot motion. His core research areas include temporal logic motion planning, hybrid control systems, and formal verification for autonomous systems. Fainekos is best known for pioneering the use of Linear Temporal Logic (LTL) to automatically synthesize robot controllers that guarantee mission satisfaction, a framework that has garnered over 755 citations in his seminal 2009 paper on reactive mission and motion planning. His contributions have fundamentally advanced the field by enabling robots to handle complex, temporally extended tasks—such as sequencing, coverage, and reactive behaviors—while ensuring safety and correctness by construction. With over 2,000 total citations across his top papers, Fainekos has also developed tools like VISPEC for eliciting formal specifications from engineers, and explored natural language interfaces to make temporal logic accessible to non-experts. His work has been instrumental in moving formal methods from theory to practice, making him a key figure in the quest for safe, verifiable autonomous systems.
Research Focus
Key Achievements
Top Papers
- 1Temporal-Logic-Based Reactive Mission and Motion Planning755 citations · 2009
- 2Temporal logic motion planning for dynamic robots460 citations · 2008
- 3Temporal Logic Motion Planning for Mobile Robots233 citations · 2006
- 4Where's Waldo? Sensor-Based Temporal Logic Motion Planning222 citations · 2007
- 5Hybrid Controllers for Path Planning: A Temporal Logic Approach172 citations · 2006
- 6Translating Structured English to Robot Controllers150 citations · 2008
- 7From structured english to robot motion46 citations · 2007
- 8
- 9On the minimal revision problem of specification automata30 citations · 2015
- 10VISPEC: A graphical tool for elicitation of MTL requirements30 citations · 2015