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

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
Simulation-based Adversarial Test Generation for Autonomous Vehicles with Machine Learning Components (pdf),
Cumhur Erkan Tuncali, Georgios Fainekos, Hisahiro Ito, and James Kapinski,
IEEE Intelligent Vehicles Symposium (IV), 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
Automatic Parallelization of Multi-rate Block Diagrams of Control Systems on Multi-core Platforms (pdf),
Cumhur Erkan Tuncali, Georgios Fainekos, and Yann-Hang Lee,
ACM Transactions on Embedded Computing Systems, V16, I1, 2016
Utilizing S-TaLiRo as an Automatic Test Generation Framework for Autonomous Vehicles (pdf),
Cumhur Erkan Tuncali, Theodore P. Pavlic, and Georgios Fainekos
IEEE Intelligent Transportation Systems Conference, Rio de Janeiro, Brazil, Nov. 2016