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
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
See older courses.
|
E-mail
fainekos at asu dot edu
Office phone number
+1 (480) 965-8267
Office address
My office is in [Centerpoint] which is the "Hottest Spot in Town"!
660 W 6th St, STE 203
Tempe, AZ 85281
[ASU map]
[Recommended Parking 1]
[Recommended Parking 2]
Office Room Number
Centerpoint 203-17
CPSLab Room Number
Centerpoint 203-27
Mailing address
699 S. Mill Avenue, STE 553
Tempe, AZ 85281
Note: Google calendar might not be displayed properly on Safari or Internet Explorer!
2019.10
Erkan receives the Best Paper award at IEEE ITSC 2019!
2019.10
MEMOCODE 2019 paper receives Best Paper Honorable Mention!
2019.04
Shakiba receives the Best Repeatability award at ACM HSCC 2019!
2019.04
Georgios receives the TOP 5% BEST TEACHERS Award!
2019.03
PhD Graduation: Congratulations to Dr. Tuncali! Erkan starts at Amazon soon!
2019.01
Congratulations to CPSLab alumnus Dr. Abbas! Houssam starts at Oregon State as an Assistant Professor.
2018.12
Congratulations to CPSLab alumnus Dr. Dokhanchi who moves on to Western Digital!
2018.04
Dr. Hoxha received the Best CS PhD student of the Year 2017-18 Award! Congratulations!
2017.09
PhD Graduation: Congratulations to Dr. Dokhanchi! Adel is staying at ASU for a postdoc!
2017.07
PhD Graduation: Congratulations to Dr. Hoxha! Bardh is off to Southern Illinois University as an Assistant Prof!
2017.05
CPSLab participates in the AFRL Summer of Innovation 2017 program!
FURI
Interested in RoboCup?
Send me an email!
|