Fainekos, Georgios
- Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components
2019/08/02 by Tuncali, Cumhur Erkan, Fainekos, Georgios, Prokhorov, Danil +2 · 2 citations
#FOS: Computer and information sciences #Machine Learning (cs.LG) #Robotics (cs.RO) #Software Engineering (cs.SE)
- Robust Conformal Prediction for STL Runtime Verification under Distribution Shift
2023/11/16 by Yiqi Zhao, Bardh Hoxha, Zhao, Yiqi +7 · 4 citations
Computer Science · Decision Sciences · #Software Reliability and Analysis Research #Formal Methods in Verification #Simulation Techniques and Applications
- PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for\n Cyber-Physical Systems
2021/06/03 by Quinn Thibeault, Thibeault, Quinn, Jacob Anderson +7 · 2 citations
Computer Science · #Advanced Malware Detection Techniques #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #FOS: Electrical engineering #Software Engineering (cs.SE) #Software Testing and Debugging Techniques #Systems and Control (eess.SY) #electronic engineering #information engineering
- NMPC-LBF: Nonlinear MPC with Learned Barrier Function for Decentralized Safe Navigation of Multiple Robots in Unknown Environments
2022/08/16 by Amir Salimi Lafmejani, Lafmejani, Amir Salimi, Spring Berman +3 · 2 citations
Engineering · Computer Science · #Advanced Control Systems Optimization #Robotic Path Planning Algorithms #Robotic Locomotion and Control
- On-Line Monitoring for Temporal Logic Robustness
2014/07/31 by Dokhanchi, Adel, Hoxha, Bardh, Fainekos, Georgios · 1 citation
#FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
- Deep Predictive Models for Collision Risk Assessment in Autonomous\n Driving
2017/11/28 by Mark Strickland, Strickland, Mark, Georgios Fainekos +3 · 1 citation
Engineering · Psychology · #Autonomous Vehicle Technology and Safety #FOS: Computer and information sciences #Human-Automation Interaction and Safety #Robotics (cs.RO) #Traffic and Road Safety
- Simulation-based Adversarial Test Generation for Autonomous Vehicles with Machine Learning Components
2018/04/18 by Tuncali, Cumhur Erkan, Fainekos, Georgios, Ito, Hisahiro +1 · 1 citation
#68N30 #68T45 #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Electrical engineering #Software Engineering (cs.SE) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Gray-box Adversarial Testing for Control Systems with Machine Learning Component
2018/12/31 by Yaghoubi, Shakiba, Fainekos, Georgios · 1 citation
#FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML)
- Safe Control Synthesis for Hybrid Systems through Local Control Barrier Functions
2023/11/28 by Yang, Shuo, Black, Mitchell, Fainekos, Georgios +3 · 2 citations
#FOS: Computer and information sciences #FOS: Electrical engineering #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Joint Communication and Motion Planning for Cobots
2021/09/28 by Mehdi Dadvar, Dadvar, Mehdi, Keyvan Majd +7 · 1 citation
Computer Science · Engineering · Psychology · #FOS: Computer and information sciences #Robot Manipulation and Learning #Robotic Path Planning Algorithms #Robotics (cs.RO) #Social Robot Interaction and HRI
- Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation with Probabilistic Guarantees
2021/10/20 by Pedrielli, Giulia, Khandait, Tanmay, Chotaliya, Surdeep +4 · 1 citation
#Artificial Intelligence (cs.AI) #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences #FOS: Electrical engineering #Machine Learning (cs.LG) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Safe Navigation in Uncertain Crowded Environments Using Risk Adaptive CVaR Barrier Functions
2025/04/09 by Wang, Xinyi, Kim, Taekyung, Hoxha, Bardh +2 · 4 citations
#FOS: Computer and information sciences #Robotics (cs.RO)
- From Dashcam Videos to Driving Simulations: Stress Testing Automated Vehicles against Rare Events
2024/11/25 by Miao, Yan, Fainekos, Georgios, Hoxha, Bardh +3 · 2 citations
#Artificial Intelligence (cs.AI) #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences
- Timed Partial Order Inference Algorithm
2023/02/05 by Watanabe, Kandai, Hoxha, Bardh, Prokhorov, Danil +4 · 1 citation
#FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL)
- Neural Configuration Distance Function for Continuum Robot Control
2024/09/20 by Kehan Long, Hardik Parwana, Long, Kehan +9 · 2 citations
Engineering · #Robot Manipulation and Learning
- Risk-aware MPPI for Stochastic Hybrid Systems
2024/11/14 by Hardik Parwana, Mitchell Black, Parwana, Hardik +11 · 1 citation
Engineering · #FOS: Computer and information sciences #Fault Detection and Control Systems #Robotics (cs.RO)
- Safe Model Predictive Diffusion with Shielding
2025/12/06 by Kim, Taekyung, Majd, Keyvan, Okamoto, Hideki +3 · 1 citation
Computer Science · Physics and Astronomy · #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #Generative Adversarial Networks and Image Synthesis #Model Reduction and Neural Networks #Robotics (cs.RO)
- Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications
2025/04/03 by Zhao, Yiqi, Zhu, Emily, Hoxha, Bardh +3 · 1 citation
#FOS: Computer and information sciences #FOS: Electrical engineering #Logic in Computer Science (cs.LO) #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering