the dude the publications the research the teaching the contact
 

The Archimedes Palimpsest

 

 

Bibtex
Entries

 

Google Scholar

  Recent Papers

  Journals
  1. Translating Structured English to Robot Controllers (pdf, bib),
    Hadas Kress-Gazit, Georgios E. Fainekos and George J. Pappas,
    Advanced Robotics, Special Issue on Selected Papers from IROS 2007 (Submitted), January 2008

  2. Robustness of Temporal Logic Specifications for Signals (pdf, bib),
    Georgios E. Fainekos and George J. Pappas,
    Theoretical Computer Science (Submitted), September 2007

  3. Finding Nemo: Sensor-Based Temporal Logic Motion Planning (pdf, bib),
    Hadas Kress-Gazit, Georgios E. Fainekos and George J. Pappas,
    IEEE Transactions on Robotics (Submitted), July 2007

  4. Temporal Logic Motion Planning for Dynamic Mobile Robots (pdf, bib),
    Georgios E. Fainekos, Antoine Girard, Hadas Kress-Gazit and George J. Pappas,
    Automatica (Provisionally accepted), June 2007

  5. Inverse Design of Airfoils Based on a Novel Formulation of the Ant Colony Optimization Method (pdf, bib),
    Georgios E. Fainekos and Kyriakos C. Giannakoglou,
    Inverse Problems in Engineering, Taylor & Francis, V 11, N 1, pp 21-38, 2003
  Peer-Reviewed Book Chapters
  1. Robust Sampling for MITL Specifications (pdf, bib),
    Georgios E. Fainekos and George J. Pappas,
    In the 5th Inter. Conference on Formal Modelling and Analysis of Timed Systems, Salzburg, Austria, October 2007

  2. Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications (pdf, bib),
    Georgios E. Fainekos, Antoine Girard and George J. Pappas,
    In Hybrid Systems: Computation and Control, Pisa, Italy, April 2007

  3. Robust test generation and coverage for hybrid systems (pdf, bib),
    A. Agung Julius, Georgios E. Fainekos, Madhukar Anand, Insup Lee and George J. Pappas,
    In Hybrid Systems: Computation and Control, Pisa, Italy, April 2007

  4. Temporal logic verification using simulation (pdf, bib),
    Georgios E. Fainekos, Antoine Girard and George J. Pappas,
    In the 4th Inter. Conference on Formal Modelling and Analysis of Timed Systems, Paris, France, September 2006

  5. Robustness of Temporal Logic Specifications (pdf, bib),
    Georgios E. Fainekos and George J. Pappas,
    In the Workshop on Formal Approaches to Testing and Runtime Verification, Seattle, USA, August 2006

  Peer-Reviewed Conference Papers

  1. From Structured English to Robot Motion (pdf, bib),
    Hadas Kress-Gazit, Georgios E. Fainekos and George J. Pappas,
    In the Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, San Diego, CA, October 2007

  2. Where's Waldo? Sensor-Based Temporal Logic Motion Planning (pdf, bib), (Finalist, Best Student Paper)
    Hadas Kress-Gazit, Georgios E. Fainekos and George J. Pappas,
    In the Proceedings of the 2007 International Conference on Robotics and Automation, Rome, Italy, April 2007

  3. Translating temporal logic to controller specifications (pdf, bib),
    Georgios E. Fainekos, Savvas G. Loizou and George J. Pappas,
    In the Proceedings of the 45th IEEE Conference on Decision and Control, San Diego, USA, December 2006

  4. Hybrid Controllers for Path Planning: A Temporal Logic Approach (pdf, bib),
    Georgios E. Fainekos, Hadas Kress-Gazit and George J. Pappas,
    In the Proceedings of the 44th IEEE Conference on Decision and Control, Seville, Spain, December 2005

  5. Temporal logic motion planning for mobile robots (pdf, bib),
    Georgios E. Fainekos, Hadas Kress-Gazit and George J. Pappas,
    In the Proceedings of the 2005 International Conference on Robotics and Automation, Barcelona, Spain, April 2005

  6. Experimental Cooperative Control of Fixed-Wing Unmanned Aerial Vehicles (pdf, bib),
    Selcuk Bayraktar, Georgios E. Fainekos and George J. Pappas,
    In the Proceedings of the 43rd IEEE Conference on Decision and Control, Bahamas, December 2004

  Tutorial Papers
  1. Partial Order Techniques for the Analysis and Synthesis of Hybrid and Embedded Systems (pdf, bib),
    D. Del Vecchio, E. A. Lee, J.-F. Raskin, G. J. Pappas, G. E. Fainekos, D. Caveney and L. Caminiti,
    In the Proceedings of the 46th IEEE Conference on Decision and Control, New Orleans, Louisiana, December 2007

  Thesis
  1. Ant Colony Optimization: Applications to discrete and continuous problems,
    Georgios E. Fainekos,
    Diploma Thesis, NTUA, September 2001 (in Greek)

  Technical Reports
  1. Temporal Logic Motion Planning for Dynamic Mobile Robots (bib),
    Georgios E. Fainekos, Antoine Girard, Hadas Kress-Gazit and George J. Pappas,
    Technical Report MS-CIS-07-02, Department of CIS, University of Pennsylvania, January 2007

  2. Hierarchical synthesis of hybrid controllers from temporal logic specifications (bib),
    Georgios E. Fainekos, Antoine Girard and George J. Pappas,
    Technical Report MS-CIS-07-01, Department of CIS, University of Pennsylvania, January 2007

  3. Robustness of Temporal Logic Specifications for Finite State Sequences in Metric Spaces (bib),
    Georgios E. Fainekos and George J. Pappas,
    Technical Report MS-CIS-06-05, Department of CIS, University of Pennsylvania, May 2006

  4. An Introduction to Multi-Valued Model Checking (bib),
    Georgios E. Fainekos,
    Technical Report MS-CIS-05-16, Department of CIS, University of Pennsylvania, September 2005

  5. Hybrid Modeling and Experimental Cooperative Control of Multiple Unmanned Aerial Vehicles (bib),
    Selcuk Bayraktar, Georgios E. Fainekos and George J. Pappas,
    Technical Report MS-CIS-04-32, Department of CIS, University of Pennsylvania, December 2004
  Selected Presentations
  1. Robust Sampling for MITL Specifications,
    Formal Modelling and Analysis of Timed Systems, Salzburg, Austria, October 2007

  2. Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications,
    Hybrid Systems: Computation and Control, Pisa, Italy, April 2007

  3. Robust test generation and coverage for hybrid systems,
    Hybrid Systems: Computation and Control, Pisa, Italy, April 2007

  4. Translating temporal logic to controller specifications,
    IEEE Conference on Decision and Control, San Diego, California, December 2006

  5. Robustness of Temporal Logic Specifications (and an application to verification using simulation),
    Verimag, Grenoble, September 2006

  6. An Introduction to Multi-Valued Model Checking,
    In-depth examination, Committee: Rajeev Alur (Chair), Insup Lee and George Pappas, June 2005

  7. Temporal Logic Motion Planning for Mobile Robots,
    International Conference on Robotics and Automation, Barcelona, April 2005

  8. Experimental Cooperative Control of Fixed-Wing Unmanned Aerial Vehicles,
    IEEE Conference on Decision and Control, Bahamas, December 2004

  9. Ant Colony Optimization: Applications to discrete and continuous problems,
    Thesis defense, September 2001

  Selected Posters
  1. Temporal Logic Motion Planning for Mobile Robots,
    9th International Workshop on Hybrid Systems: Computation and Control, Santa Barbara, March 2006

  2. Temporal Logic Motion Planning for Mobile Robots , (Best poster award)
    Graduate Research Symposium at University of Pennsylvania, March 2005

Last update: 2008.02.14
Created by g. fainekos