Georgios Fainekos

Associate Professor
Cyber-Physical Systems Laboratory (CPSLab)
Center for Embedded Systems (CES)
ASU Robotics
School of Computing, Informatics and Decision Systems Engineering (SCIDSE)
Ira A. Fulton Schools of Engineering
Arizona State University

Bio [See also Curriculum Vitae]

Georgios Fainekos is an Associate Professor at the School of Computing, Informatics and Decision Systems Engineering at Arizona State University. He is director of the Cyber-Physical Systems Laboratory (CPSLab). He is affiliated with the Center for Embedded Systems (CES) and he is also member of the ASU Robotics group. He received his Ph.D. in Computer and Information Science from the University of Pennsylvania in 2008 where he was affiliated with the GRASP Lab. Prof. Fainekos 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 (CPS), autonomous systems, and mobile robots. In particular, his research interests include formal specification, modeling, testing, verification, synthesis, control, and monitoring for hybrid dynamical systems and discrete event systems. His software toolbox, S-TaLiRo, for requirements guided testing and monitoring of CPS has been nominated twice as a technological breakthrough by the industry. In terms of automotive applications, Prof. Fainekos research interests span formal models, control, machine learning, and planning with ultimate goal of developing safe and dependable autonomous vehicles. Prof. Fainekos is recipient of the NSF CAREER award. He was also recipient of the SCIDSE Best Researcher Junior Faculty award for 2013 and of the 2008 Frank Anger Memorial ACM SIGBED/SIGSOFT Student Award. [more ...]

Recent selected preprints & papers

For a complete list of my publications please visit my publications page, or for the most recent updates check out

• Worst-case Satisfaction of STL Specifications Using Feedforward Neural Network Controllers: A Lagrange Multipliers Approach (pdf),
  Shakiba Yaghoubi, and Georgios Fainekos
  ACM Transactions on Embedded Computing Systems (TECS), 2019
• Encoding and Monitoring Responsibility Sensitive Safety Rules for Automated Vehicles in Signal Temporal Logic (pdf),
  Mohammad Hekmatnejad, Shakiba Yaghoubi, Adel Dokhanchi, Heni Ben Amor, Aviral Shrivastava, Lina Karam, Georgios Fainekos
  ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE), 2019
• Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components (pdf),
  Cumhur Erkan Tuncali, Georgios Fainekos, Danil Prokhorov, Hisahiro Ito, James Kapinski
  To appear in the IEEE Transactions on Intelligent Vehicles
• Rapidly-exploring Random Trees for Testing Automated Vehicles (pdf),
  Cumhur Erkan Tuncali and Georgios Fainekos
  IEEE International Conference on Intelligent Transportation Systems (ITSC), 2019
• Gray-box Adversarial Testing for Control Systems with Machine Learning Components (pdf),
  Shakiba Yaghoubi, and Georgios Fainekos
  Hybrid Systems: Computation and Control (HSSC), 2019
• Evaluating Perception Systems for Autonomous Vehicles using Quality Temporal Logic (pdf),
  Adel Dokhanchi, Heni Ben Amor, Jyotirmoy V. Deshmukh, Georgios Fainekos,
  Runtime Verification (RV), 2018
• Embedded Software for Robotics: Challenges and Future Directions,
  H. Abbas, I. Saha, Y. Shoukry, R. Ehlers, G. Fainekos, R. Gupta, R. Majumdar and D. Ulus,
  International Conference on Embedded Software (EMSOFT), 2018
• Specification-based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications,
  E. Bartocci, J. Deshmukh, A. Donze, G. Fainekos, O. Maler, D. Nickovic, and S. Sankaranarayanan,
  Lectures on Runtime Verification - Introductory and Advanced Topics, LNCS 10457, pp 128-168, Springer, 2018
• Optimal Multi-Valued LTL Planning for Systems with Access Right Levels (pdf),
  Mohammad Hekmatnejad and Georgios Fainekos
  American Control Conference (ACC), Milwaukee, WI, June 2018
• Deep Predictive Models for Collision Risk Assessment in Autonomous Driving (pdf),
  Mark Strickland, Georgios Fainekos, Heni Ben Amor
  IEEE International Conference on Robotics and Automation, Brisbane, Australia, May 2018
• Formal Requirement Debugging for Testing and Verification of Cyber-Physical Systems (pdf, extended tech report),
  Adel Dokhanchi, Bardh Hoxha, and Georgios Fainekos,
  ACM Transactions on Embedded Computing Systems, V17, I2, 2018
• Mining Parametric Temporal Logic Properties in Model Based Design for Cyber-Physical Systems (extended tech report),
  Bardh Hoxha, Adel Dokhanchi and Georgios Fainekos,
  International Journal on Software Tools for Technology Transfer, V20, I1, pp 79–93, 2018

Recent and Upcoming Courses

• Fall 2019 (ASU): CSE 494: Introduction to Mobile Robotics
• Spring 2019 (ASU): CSE 591: Cyber-Physical Systems: Modeling, Verification and Synthesis
• Fall 2018 (ASU): CSE 494: Introduction to Mobile Robotics
• Spring 2018 (ASU): CSE 355: Introduction to Theoretical Computer Science
• Fall 2017 (ASU): CSE 355: Introduction to Theoretical Computer Science
• Spring 2016 (ASU): CSE 591: Cyber-Physical Systems: Modeling, Verification and Synthesis
• Fall 2015 (ASU): CSE 494: Introduction to Mobile Robotics
• Spring 2015 (ASU): CSE 355: Introduction to Theoretical Computer Science
• Fall 2014 (ASU): CSE 574: Planning and Learning Methods in AI

See older courses.

Group [See group photos]

• A few remarks for prospective students
• I will not be responding to emails which do not observe the above guidelines/comments.
• PhD Students
  • Joseph Campbell (CIDSE; Google Scholar Profile; Co-advised with Heni Ben Amor)
  • Mohammad Hekmatnejad (CIDSE)
  • Kangjin Kim (CIDSE; Google Scholar Profile)
  • C. Erkan Tuncali (CIDSE); Google Scholar Profile)
  • Shakiba Yaghoubi (CIDSE; Google Scholar Profile)
• MS Students
  • Sai Krishna Bashetty (CIDSE; Co-advised with Heni Ben Amor)
• Alumni