BibTeX Entries
Georgios E. Fainekos
@article{FainekosP09,
author = {Georgios E. Fainekos and George J. Pappas},
title = {Robustness of Temporal Logic Specifications for Continuous-Time Signals},
journal = {Theoretical Computer Science},
year = {2009},
publisher = {Elsevier},
volume = 410,
number = 42,
pages = {4262-4291}},
@article{FainekosGKGP09,
author = {Georgios E. Fainekos and Antoine Girard and Hadas Kress-Gazit and George J. Pappas},
title = {Temporal Logic Motion Planning for Dynamic Robots},
journal = {Automatica},
year = {2009},
volume = {45},
pages = {343-352},
number = {2},
month = Feb}
@article{KressGazitFP08,
author = {Hadas~Kress-Gazit and Gerogios~E.~Fainekos and George~J.~Pappas},
title = {Translating Structured English to Robot Controllers},
journal = {Advanced Robotics Special Issue on Selected Papers from IROS 2007},
year = {2008},
volume = {22},
pages = {1343–1359},
number = {12}}
@article{FainekosG03,
author = "
title = "Inverse Design of Airfoils Based on a Novel Formulation of the Ant Colony Optimization Method",
journal = "Inverse Problems in Engineering",
volume = "11",
number = "1",
pages = "21-38",
year = "2003"}
@INPROCEEDINGS{FainekosP07formats,
author = {Georgios E. Fainekos and George J. Pappas},
title = {Robust Sampling for MITL Specifications},
booktitle = {Proceedings of FORMATS},
year = {2007},
volume = {4763},
series = {LNCS},
pages = {147-162},
publisher = {Springer}}
@INPROCEEDINGS{FainekosGP07hscc,
author = {Georgios E. Fainekos and Antoine Girard and George J. Pappas},
title = {Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications},
booktitle = {Hybrid Systems: Computation and Control},
year = {2007},
volume = {4416},
series = {LNCS},
pages = {203-216},
publisher = {Springer}}
@INPROCEEDINGS{JuliusFALP07hscc,
author = {A. Agung Julius and Georgios E. Fainekos and Madhukar Anand and Insup Lee and George J. Pappas},
title = {Robust test generation and coverage for hybrid systems},
booktitle = {Hybrid Systems: Computation and Control},
year = {2007},
volume = {4416},
series = {LNCS},
pages = {329-342},
publisher = {Springer}}
@INPROCEEDINGS{FainekosGP06formats,
author = {Georgios E. Fainekos and Antoine Girard and George J. Pappas},
title = {Temporal Logic Verification Using Simulation},
booktitle = {Proceedings of FORMATS},
year = {2006},
volume = {4202},
series = {LNCS},
pages = {171-186},
publisher = {Springer}}
@INPROCEEDINGS{FainekosP06fates,
author = {Georgios E. Fainekos and George J. Pappas},
title = {Robustness of Temporal Logic Specifications},
booktitle = {Proceedings of FATES/RV},
year = {2006},
volume = {4262},
series = {LNCS},
pages = {178--192},
publisher = {Springer}}
@inproceedings{FainekosP09acc,
author = {Georgios E. Fainekos and George J. Pappas},
title = {{MTL} Robust Testing and Verification for {LPV} Systems},
booktitle = {Proc. of the 2009 American Control Conference},
year = {2009},
pages = {3748-3753},
month = Jun,
location = {San Diego, USA}}
@inproceedings{DelVecchio07cdc,
author = {Domitilla Del Vecchio and Edward A. Lee and Jean-Francois Raskin and George J. Pappas and Georgios E. Fainekos and Derek Caveney and Lorenzo Caminiti},
title = {Partial Order Techniques for the Analysis and Synthesis of Hybrid and Embedded Systems},
booktitle = {In the Proceedings of the 46th IEEE Conference on Decision and Control},
month = #Dec#,
year = {2007},
location = {New Orleans, Louisiana}}
@INPROCEEDINGS{KressGazitFP07iros,
author = {Hadas Kress-Gazit and Georgios E. Fainekos and George J. Pappas},
title = {From Structured English to Robot Motion},
booktitle = {Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems},
year = {2007},
month = #Oct#,
pages = {2717-2722},
location = {San Diego, CA}}
@INPROCEEDINGS{KressGazitFP07icra,
author = {Hadas Kress-Gazit and Georgios E. Fainekos and George J. Pappas},
title = {{W}here's {W}aldo? {S}ensor-{B}ased {T}emporal {L}ogic {M}otion {P}lanning},
booktitle = {In the Proceedings of the IEEE Conference on Robotics and Automation},
month = #Apr#,
year = {2007},
pages = {3116-3121},
location = {Roma, Italy},}
@inproceedings{FainekosLP06cdc,
author = {Georgios E. Fainekos and Savvas G. Loizou and George J. Pappas},
title = {Translating temporal logic to controller specifications},
booktitle = {In the Proceedings of the 45th IEEE Conference on Decision and Control},
month = "December",
year = {2006},
pages = {899-904},
location = {San Diego, CA}}
@inproceedings{FainekosKGP05cdc,
author = "Georgios E. Fainekos and Hadas Kress-Gazit and George J. Pappas",
title = "Hybrid Controllers for Path Planning: A Temporal Logic Approach",
booktitle = "Proceedings of the 44th IEEE Conference on Decision and Control",
month = "December",
year = "2005",
pages = "4885 - 4890",
location = "Seville, Spain"}
@inproceedings{FainekosKGP05icra,
author = "Georgios E. Fainekos and Hadas Kress-Gazit and George J. Pappas",
title = "Temporal logic motion planning for mobile robots",
booktitle = "Proceedings of the 2005 IEEE International Conference on Robotics and Automation",
month = "April",
year = "2005",
pages = "2020-2025",
location = "Barcelona, Spain"}
@inproceedings{BayraktarFP04cdc,
author = "Selcuk Bayraktar and Georgios E. Fainekos and George J. Pappas",
title = "Experimental Cooperative Control of Fixed-Wing Unmanned Aerial Vehicles",
booktitle = "Proceedings of the 43rd IEEE Conference on Decision and Control",
location = "Paradise Island, Bahamas",
pages = "4292--4298",
volume = "4",
month = "December",
year = 2004}
@techreport{FainekosGKGP07tech,
author = {Georgios E. Fainekos and Antoine Girard and Hadas Kress-Gazit and George J. Pappas},
title = {Temporal Logic Motion Planning for Dynamic Robots},
institution = {Dept. of CIS, Univ. of Pennsylvania},
year = {2007},
number = {MS-CIS-07-02},
month = Jan}
@techreport{FainekosGP07tech,
author = {Georgios E. Fainekos and Antoine Girard and George J. Pappas},
title = {Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications},
institution = {Dept. of CIS, Univ. of Pennsylvania},
year = {2007},
number = {MS-CIS-07-01},
month = Jan}
@techreport{FainekosP06tech,
author = {Georgios E. Fainekos and George J. Pappas},
title = {Robustness of Temporal Logic Specifications for Finite State Sequences in Metric Spaces},
institution = {Dept. of CIS, Univ. of Pennsylvania},
year = {2006},
number = {MS-CIS-06-05},
month = May,}
@techreport{Fainekos05tech,
author = "Georgios E. Fainekos",
title = "An Introduction to Multi-Valued Model Checking",
number = "MS-CIS-05-16",
institution = "Dept. of CIS, University of Pennsylvania",
month = "September",
year = "2005"}
@techreport{BayraktarFP04tech,
author = "Selcuk Bayraktar and Georgios E. Fainekos and George J. Pappas",
title = "Hybrid Modeling and Experimental Cooperative Control of Multiple Unmanned Aerial Vehicles",
number = "MS-CIS-04-32",
institution = "Dept. of CIS, University of Pennsylvania",
month = "December",
year = "2004"}
Last update : 2009.09.01