Georgios E. Fainekos

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