Georgios E. Fainekos

Publication Activity (10 Years)

Years Active: 2004-2012
Publications (10 Years): 0

Top Topics

Automata Theoretic

Formal Languages

Top Venues

Publications

Georgios E. Fainekos, Sriram Sankaranarayanan, Koichi Ueda, Hakan Yazarel
Verification of automotive control applications using S-TaLiRo. ACC (2012)
Hengyi Yang, Bardh Hoxha, Georgios E. Fainekos
Querying Parametric Temporal Logic Properties on Embedded Systems. ICTSS (2012)
Kangjin Kim, Georgios E. Fainekos, Sriram Sankaranarayanan
On the revision problem of specification automata. ICRA (2012)
Georgios E. Fainekos
Revising temporal logic specifications for motion planning. ICRA (2011)
Georgios E. Fainekos, George J. Pappas
Robustness of temporal logic specifications for continuous-time signals. Theor. Comput. Sci. 410 (42) (2009)
Georgios E. Fainekos, George J. Pappas
MTL robust testing and verification for LPV systems. ACC (2009)
Hadas Kress-Gazit, Georgios E. Fainekos, George J. Pappas
Temporal-Logic-Based Reactive Mission and Motion Planning. IEEE Trans. Robotics 25 (6) (2009)
Georgios E. Fainekos, Antoine Girard, Hadas Kress-Gazit, George J. Pappas
Temporal logic motion planning for dynamic robots. Autom. 45 (2) (2009)
Hadas Kress-Gazit, Georgios E. Fainekos, George J. Pappas
Translating Structured English to Robot Controllers. Adv. Robotics 22 (12) (2008)
Hadas Kress-Gazit, Georgios E. Fainekos, George J. Pappas
From structured english to robot motion. IROS (2007)
Hadas Kress-Gazit, Georgios E. Fainekos, George J. Pappas
Where's Waldo? Sensor-Based Temporal Logic Motion Planning. ICRA (2007)
Georgios E. Fainekos, Antoine Girard, George J. Pappas
Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications. HSCC (2007)
A. Agung Julius, Georgios E. Fainekos, Madhukar Anand, Insup Lee, George J. Pappas
Robust Test Generation and Coverage for Hybrid Systems. HSCC (2007)
Georgios E. Fainekos, George J. Pappas
Robust Sampling for MITL Specifications. FORMATS (2007)
Georgios E. Fainekos, Savvas G. Loizou, George J. Pappas
Translating Temporal Logic to Controller Specifications. CDC (2006)
Georgios E. Fainekos, George J. Pappas
Robustness of Temporal Logic Specifications. FATES/RV (2006)
Georgios E. Fainekos, Antoine Girard, George J. Pappas
Temporal Logic Verification Using Simulation. FORMATS (2006)
Georgios E. Fainekos, Hadas Kress-Gazit, George J. Pappas
Temporal Logic Motion Planning for Mobile Robots. ICRA (2005)
Georgios E. Fainekos, Hadas Kress-Gazit, George J. Pappas
Hybrid Controllers for Path Planning: A Temporal Logic Approach. CDC/ECC (2005)
Selcuk Bayraktar, Georgios E. Fainekos, George J. Pappas
Experimental cooperative control of fixed-wing unmanned aerial vehicles. CDC (2004)