Georgios Fainekos

University of Pennsylvania, Arizona State University, Toyota Research Institute, Embedded Systems (United States), Toyota Motor Corporation (United States), Toyota Motor Corporation (Switzerland)

Papers

30

Total Citations

2,334

H-Index

15

About

No biography available yet.

Research Focus

Computer science28 · 2,330 citations
Artificial intelligence24 · 2,266 citations
Robot21 · 2,203 citations
Linear temporal logic10 · 2,076 citations
Temporal logic11 · 2,062 citations
Engineering17 · 1,994 citations
Theoretical computer science14 · 1,992 citations
Control engineering9 · 1,677 citations
Task (project management)6 · 1,205 citations
Mobile robot8 · 1,170 citations
Motion planning8 · 1,135 citations
Real-time computing4 · 1,018 citations

Key Achievements

15
H-Index
30
Papers
2,334
Total Citations
78
Avg Citations/Paper
🏆 Most Cited Paper
Temporal-Logic-Based Reactive Mission and Motion Planning
755 citations · 2009
📈 Most Prolific Year: 2015 (4 Papers)
🤝 Key Collaborators: 47
🏛 Institutions: University of Pennsylvania, Arizona State University, Toyota Research Institute, Embedded Systems (United States), Toyota Motor Corporation (United States), Toyota Motor Corporation (Switzerland)

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
    Hybrid Controllers for Path Planning: A Temporal Logic Approach
    172 citations · 2006
  6. 6
    Translating Structured English to Robot Controllers
    150 citations · 2008
  7. 7
    From structured english to robot motion
    46 citations · 2007
  8. 8
    Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications
    31 citations · 2007
  9. 9
    On the minimal revision problem of specification automata
    30 citations · 2015
  10. 10
    VISPEC: A graphical tool for elicitation of MTL requirements
    30 citations · 2015

Key Collaborators

BHBardh Hoxha11 shared papersGJGeorge J. Pappas8 shared papersKKKangjin Kim8 shared papersHKHadas Kress‐Gazit7 shared papersDPDanil Prokhorov4 shared papersHOHideki Okamoto4 shared papersMBMitchell Black4 shared papersDPDimitra Panagou3 shared papersSSSriram Sankaranarayanan2 shared papersWDWilliam Duong2 shared papersYZYu Zhang2 shared papersAGAntoine Girard2 shared papersJCJoe C. Campbell2 shared papersKMKeyvan Majd2 shared papersHPHardik Parwana2 shared papersKLKehan Long1 shared papersASAmir Salimi Lafmejani1 shared papersISIndranil Saha1 shared papersTYTomoya Yamaguchi1 shared papersSBSpring Berman1 shared papers
Not generated yet