Dr ΓΦ
bio
Georgios Fainekos (aka Dr. Φ) is a Senior Principal Scientist at Toyota Motor North America R&D (within TRINA). He received his Ph.D. in Computer and Information Science from the University of Pennsylvania in 2008 where he was affiliated with the GRASP laboratory. He holds a Diploma degree (B.Sc. & M.Sc.) in Mechanical Engineering from the National Technical University of Athens (NTUA). Until 2022, he was a tenured faculty (Associate Professor) of Computer Science and Computer Engineering at the School of Computing and Augmented Intelligence (SCAI) at Arizona State University (ASU), where he led and worked on NSF, DARPA, AFRL, and industry funded projects (e.g., Intel, Toyota, Bosch). Among other professional roles, he has been a Postdoctoral Researcher at NEC Laboratories America in the System Analysis & Verification Group. He is currently working on Cyber-Physical Systems (CPS) and robotics with a focus on Automated Driving Systems (ADS). His technical expertise is on applied logic, formal verification & requirements, testing, control theory, artificial intelligence, and optimization. In 2013, Dr. Fainekos received the NSF CAREER award and the ASU SCIDSE Best Researcher Junior Faculty Award. He has also been recognized with the top 5% teacher award in 2019 and 2021. His research has received several awards and nominations (e.g., IEEE CASE 2021, IEEE ITSC 2019, ACM HSCC 2019, IEEE/ACM MEMOCODE 2019), and the 2008 Frank Anger Memorial ACM SIGBED/SIGSOFT Student Award. In 2016, Dr. Fainekos was the program co-Chair for the ACM International Conference on Hybrid Systems: Computation and Control (HSCC).
Contact:
Professional: firstname . lastname at toyota.com
Requests for reviews, letters, etc: lastname at ieee.org
More information: [CV] (semi-updated on: 2023.10.31)
some selected recent (<5 years) publications
For full list see [Google Scholar page]
Robust Conformal Prediction for STL Runtime Verification under Distribution Shift, ACM/IEEE ICCPS 2024
Scaling Learning based Policy Optimization for Temporal Logic Tasks by Controller Network Dropout, ACM TCPS
Optimal Planning for Timed Partial Order Specifications, IEEE ICRA 2024
Timed Partial Order Inference Algorithm, ICAPS 2023
A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning-enabled Control Systems, ACM/IEEE ICCPS 2023
Quantitative Verification for Neural Networks using ProbStars, HSCC 2023
Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation with Probabilistic Guarantees, IEEE TASE 2023
Safety Under Uncertainty: Tight Bounds with Risk-Aware Control Barrier Functions, ICRA 2023
Safe Robot Learning in Assistive Devices through Neural Network Repair, CORL 2022
Joint Communication and Motion Planning for Cobots, ICRA 2022
Risk-Bounded Control with Kalman Filtering and Stochastic Barrier Functions, CDC 2021
Safe navigation in human occupied environments using sampling and control barrier functions, IROS 2021
some selected (popular?) software tools
S-TaLiRo: A Matlab toolbox for falsification, specification mining, monitoring, and conformance testing of Cyber-Physical Systems.
PSY-TaLiRo: A Python toolbox for falsification and verification with probabilistic guarantees of Cyber-Physical Systems.
STREM: Spatio-Temporal Regular Expression Matcher for perception data-streams (online and offline).
CBFkit: A Control Barrier Function Toolbox for Robotics Applications
some selected recent (<5 years) presentations
See also some videos on my [youtube channel]
