@inproceedings{AbbasF11atva,
  author = {Houssam Abbas and Georgios Fainekos},
  title = {Linear Hybrid System Falsification Through Local Search},
  booktitle = {Automated Technology for Verification and Analysis},
  publisher = {Springer},
  year = {2011},
  volume = {6996},
  pages = {503-510}
}

@techreport{AbbasF11tech,
  author = {Houssam Abbas and Georgios Fainekos},
  title = {Linear Hybrid System Falsification With Descent},
  year = {2011},
  number = {arXiv:1105.1733}
}

@article{AbbasFSIG11tecs,
  author = {Houssam Abbas and Georgios E. Fainekos and Sriram Sankaranarayanan and Franjo Ivancic and Aarti Gupta},
  title = {Probabilistic Temporal Logic Falsification of Cyber-Physical Systems},
  journal = {ACM Transactions on Embedded Computing Systems},
  year = {2011},
  volume = {(In Press)}
}

@inproceedings{AnnapureddyF10iecon,
  author = {Yashwanth Singh Rahul Annapureddy and Georgios E. Fainekos},
  title = {Ant Colonies for Temporal Logic Falsification of Hybrid Systems},
  booktitle = {Proceedings of the 36th Annual Conference of IEEE Industrial Electronics},
  year = {2010},
  pages = {91-96}
}

@inproceedings{AnnapureddyLFS11tacas,
  author = {Yashwanth Singh Rahul Annapureddy and Che Liu and Georgios E. Fainekos and Sriram Sankaranarayanan},
  title = {S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems},
  booktitle = {Tools and algorithms for the construction and analysis of systems},
  publisher = {Springer},
  year = {2011},
  volume = {6605},
  pages = {254-257}
}

@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},
  year = {2004},
  pages = {4292--4298}
}

@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},
  year = {2004},
  number = {MS-CIS-04-32}
}

@inproceedings{ChakarovSF11rv,
  author = {Aleksandar Chakarov and Sriram Sankaranarayanan and Georgios Fainekos},
  title = {Combining Time and Frequency Domain Specifications For Periodic Signals},
  booktitle = {Runtime Verification},
  publisher = {Springer},
  year = {2011},
  note = {[To Appear]}
}

@inproceedings{FainekosSUY12acc,
  author = {Georgios Fainekos and Sriram Sankaranarayanan and Koichi Ueda and Hakan Yazarel},
  title = {Verification of Automotive Control Applications using S-TaLiRo},
  booktitle = {Proceedings of the American Control Conference},
  year = {2012}
}

@inproceedings{Fainekos11icra,
  author = {Georgios E. Fainekos},
  title = {Revising Temporal Logic Specifications for Motion Planning},
  booktitle = {Proceedings of the IEEE Conference on Robotics and Automation},
  year = {2011}
}

@phdthesis{Fainekos08phd,
  author = {Georgios E. Fainekos},
  title = {Robustness of Temporal Logic Specifications},
  school = {Department of Computer and Information Science, University of Pennsylvania},
  year = {2008}
}

@techreport{Fainekos_tech05,
  author = {Georgios E. Fainekos},
  title = {An Introduction to Multi-Valued Model Checking},
  year = {2005},
  number = {MS-CIS-05-16}
}

@mastersthesis{Fainekos01,
  author = {Georgios E. Fainekos},
  title = {Ant Colony Optimization: Applications to discrete and continuous problems},
  school = {National Technical University of Athens},
  year = {2001},
  note = {In Greek}
}

@article{FainekosG03,
  author = {Georgios E. Fainekos and Kyriakos C. Giannakoglou},
  title = {Inverse Design of Airfoils Based on a Novel Formulation of the Ant Colony Optimization Method},
  journal = {Inverse Problems in Engineering},
  year = {2003},
  volume = {11},
  number = {1},
  pages = {21-38}
}

@article{FainekosGKGP09automatica,
  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},
  number = {2},
  pages = {343-352}
}

@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},
  year = {2007},
  number = {MS-CIS-07-02}
}

@inproceedings{FainekosGP06formats,
  author = {Georgios E. Fainekos and Antoine Girard and George J. Pappas},
  title = {Temporal Logic Verification Using Simulation},
  booktitle = {Proceedings of the 4th International Conference on Formal Modelling and Analysis of Timed Systems},
  publisher = {Springer},
  year = {2006},
  volume = {4202},
  pages = {171-186}
}

@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},
  publisher = {Springer},
  year = {2007},
  volume = {4416},
  pages = {203-216}
}

@techreport{FainekosGP07tech,
  author = {Georgios E. Fainekos and Antoine Girard and George J. Pappas},
  title = {Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications},
  year = {2007},
  number = {MS-CIS-07-01}
}

@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},
  year = {2005},
  pages = {4885 - 4890}
}

@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 IEEE International Conference on Robotics and Automation},
  year = {2005},
  pages = {2032-2037}
}

@inproceedings{FainekosLP06cdc,
  author = {Georgios E. Fainekos and Savvas G. Loizou and George J. Pappas},
  title = {Translating temporal logic to controller specifications},
  booktitle = {Proceedings of the 45th IEEE Conference on Decision and Control},
  year = {2006},
  pages = {899-904}
}

@inproceedings{FainekosP07Formats,
  author = {Georgios E. Fainekos and George J. Pappas},
  title = {Robust Sampling for MITL Specifications},
  booktitle = {Proceedings of the 5th International Conference on Formal Modelling and Analysis of Timed Systems},
  publisher = {Springer},
  year = {2007},
  volume = {4763},
  pages = {147-162}
}

@inproceedings{FainekosP09acc,
  author = {Georgios E. Fainekos and George J. Pappas},
  title = {MTL Robust Testing and Verification for LPV Systems},
  booktitle = {Proceedings of the American Control Conference},
  year = {2009},
  pages = {3748-3753}
}

@article{FainekosP09tcs,
  author = {Georgios E. Fainekos and George J. Pappas},
  title = {Robustness of Temporal Logic Specifications for Continuous-Time Signals},
  journal = {Theoretical Computer Science},
  publisher = {Elsevier},
  year = {2009},
  volume = {410},
  number = {42},
  pages = {4262-4291}
}

@techreport{FainekosP08taliro,
  author = {Georgios E. Fainekos and George J. Pappas},
  title = {A User Guide for TaLiRo},
  year = {2008}
}

@inproceedings{FainekosP06fates,
  author = {Georgios E. Fainekos and George J. Pappas},
  title = {Robustness of Temporal Logic Specifications},
  booktitle = {Formal Approaches to Testing and Runtime Verification},
  publisher = {Springer},
  year = {2006},
  volume = {4262},
  pages = {178--192}
}

@techreport{FainekosP06tech_rob,
  author = {Georgios E. Fainekos and George J. Pappas},
  title = {Robustness of Temporal Logic Specifications for Finite State Sequences in Metric Spaces},
  year = {2006},
  number = {MS-CIS-06-05}
}

@inproceedings{FainekosSIG09rtss,
  author = {Georgios E. Fainekos and Sriram Sankaranarayanan and Franjo Ivančić and Aarti Gupta},
  title = {Robustness of Model-based Simulations},
  booktitle = {Proceedings of the 30th IEEE Real-Time Systems Symposium},
  publisher = {IEEE Press},
  year = {2009},
  pages = {345-354}
}

@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},
  publisher = {Springer},
  year = {2007},
  volume = {4416},
  pages = {329-342}
}

@inproceedings{KimFS12icra,
  author = {Kangjin Kim and Georgios Fainekos and Sriram Sankaranarayanan},
  title = {On the Revision Problem of Specification Automata},
  booktitle = {Proceedings of the IEEE Conference on Robotics and Automation},
  year = {2012}
}

@article{KressGazitFP09tro,
  author = {Hadas~Kress-Gazit and Gerogios~E.~Fainekos and George~J.~Pappas},
  title = {Temporal Logic Based Reactive Mission and Motion Planning},
  journal = {IEEE Transactions on Robotics},
  year = {2009},
  volume = {25},
  number = {6},
  pages = {1370 - 1381}
}

@article{KressGazitFP08ar,
  author = {Hadas~Kress-Gazit and Georgios~E.~Fainekos and George~J.~Pappas},
  title = {Translating Structured English to Robot Controllers},
  journal = {Advanced Robotics},
  year = {2008},
  volume = {22},
  number = {12},
  pages = {1343–-1359}
}

@inproceedings{KressGazitFP07icra,
  author = {Hadas Kress-Gazit and Georgios E. Fainekos and George J. Pappas},
  title = {Where's Waldo? Sensor-Based Temporal Logic Motion Planning},
  booktitle = {Proceedings of the IEEE Conference on Robotics and Automation},
  year = {2007},
  pages = {3116-3121}
}

@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},
  pages = {2717-2722}
}

@inproceedings{Nghiem11ifac,
  author = {Truong Nghiem and Georgios E. Fainekos},
  title = {Computing Schedules for Time-Triggered Control using Genetic Algorithms},
  booktitle = {Proceedings of the 18th IFAC World Congress},
  year = {2011}
}

@inproceedings{NghiemSFIGP10hscc,
  author = {Truong Nghiem and Sriram Sankaranarayanan and Georgios E. Fainekos and Franjo Ivancic and Aarti Gupta and George J. Pappas},
  title = {Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems},
  booktitle = {Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control},
  publisher = {ACM Press},
  year = {2010},
  pages = {211-220}
}

@inproceedings{SankaranarayananF2012hscc,
  author = {Sriram Sankaranarayanan and Georgios Fainekos},
  title = {Falsification of Temporal Properties of Hybrid Systems Using the Cross-Entropy Method},
  booktitle = {ACM International Conference on Hybrid Systems: Computation and Control},
  year = {2012}
}

@electronic{taliro_tools,,
  title = {TaLiRo Tools},
  url = {https://sites.google.com/a/asu.edu/s-taliro/}
}