Georgios E. Fainekos

Assistant Professor
School of Computing, Informatics and Decision Systems Eng.
Consortium for Embedded Systems (CES)
Arizona State University

Curriculum Vitae

Bio

Georgios E. Fainekos is an Assistant Professor at the School of Computing, Informatics and Decision Systems Engineering at Arizona State University. He is currently affiliated with the Consortium for Embedded Systems (CES). He received his Ph.D. in Computer and Information Science from the University of Pennsylvania in 2008. He holds a Diploma degree (B.Sc. & M.Sc.) in Mechanical Engineering from the National Technical University of Athens and an M.Sc. degree in Computer and Information Science from the University of Pennsylvania. Before joining ASU he held a Postdoctoral Researcher position at NEC Laboratories America in the System Analysis & Verification Group. He is currently working in the area of Cyber-Physical Systems. In particular, his research interests include formal methods and logic, control theory and hybrid, embedded and real-time systems with applications to robotics and unmanned aerial vehicles. He was finalist for the best student paper in ICRA 2007 and he was recipient of the 2008 Frank Anger Memorial ACM SIGBED/SIGSOFT Student Award. more ...

Recent Publications

For a complete list of my publications please visit my publications page.

• Monte-Carlo Techniques for Falsification of Temporal Properties of Non-Linear Systems (pdf, bib),
  T. Nghiem, S. Sankaranarayanan, G. Fainekos, F. Ivancic, A. Gupta and G. Pappas,
  Hybrid Systems: Computation and Control, Stockholm, Sweden, Apr. 2010 (To Appear)
• Robustness of Model-based Simulations (pdf, bib),
  Georgios E. Fainekos, Sriram Sankaranarayanan, Franjo Ivancic and Aarti Gupta,
  IEEE Real-Time Systems Symposium, Washington DC, Dec. 2009
• MTL Robust Testing and Verification for LPV Systems (pdf, bib),
  Georgios E. Fainekos and George J. Pappas,
  In the Proceedings of the 2009 American Control Conference, St. Louis, June 2009
• Temporal Logic-based Reactive Mission and Motion Planning (pdf, bib),
  Hadas Kress-Gazit, Georgios E. Fainekos and George J. Pappas,
  IEEE Transactions on Robotics (In press), 2009
• Robustness of temporal logic specifications for continuous-time signals (pdf, bib),
  Georgios E. Fainekos and George J. Pappas,
  Theoretical Computer Science, Elsevier, V 410, N 42, pp 4262-4291, 2009.
• Temporal Logic Motion Planning for Dynamic Mobile Robots (pdf, bib),
  Georgios E. Fainekos, Antoine Girard, Hadas Kress-Gazit and George J. Pappas,
  Automatica, Elsevier, V 45, N 2, pp 343-352, 2009.

Recent and Upcoming Courses

• CSE 591: Theoretical aspects of Cyber-Physical Systems (Spring 2010)
• CSE 355: Introduction to Theoretical Computer Science (Fall 2009)

See older courses.

Group

I am looking for motivated PhD students. If you are interested, read this first!