Georgios Fainekos

ORCID

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 112

Top Venues

CoRR

CASE

ACC

Publications

Victoria Marie Tuck, Pei-Wei Chen, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, S. Shankar Sastry, Sanjit A. Seshia
SMT-Based Dynamic Multi-Robot Task Allocation. NFM (2024)
Victoria Marie Tuck, Pei-Wei Chen, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, S. Shankar Sastry, Sanjit A. Seshia
SMT-Based Dynamic Multi-Robot Task Allocation. CoRR (2024)
Mitchell Black, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Danil V. Prokhorov
CBFKIT: A Control Barrier Function Toolbox for Robotics Applications. CoRR (2024)
Giulia Pedrielli, Tanmay Khandait, Yumeng Cao, Quinn Thibeault, Hao Huang, Mauricio Castillo-Effen, Georgios Fainekos
Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation With Probabilistic Guarantees. IEEE Trans Autom. Sci. Eng. 21 (3) (2024)
Kandai Watanabe, Georgios Fainekos, Bardh Hoxha, Morteza Lahijanian, Hideki Okamoto, Sriram Sankaranarayanan
Optimal Planning for Timed Partial Order Specifications. CoRR (2024)
Mitchell Black, Georgios Fainekos, Bardh Hoxha, Dimitra Panagou
Risk-Aware Fixed-Time Stabilization of Stochastic Systems under Measurement Uncertainty. CoRR (2024)
Yiqi Zhao, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, Lars Lindemann
Robust Conformal Prediction for STL Runtime Verification under Distribution Shift. ICCPS (2024)
Kandai Watanabe, Georgios Fainekos, Bardh Hoxha, Morteza Lahijanian, Hideki Okamoto, Sriram Sankaranarayanan
Optimal Planning for Timed Partial Order Specifications. ICRA (2024)
Mohammad Hekmatnejad, Bardh Hoxha, Jyotirmoy V. Deshmukh, Yezhou Yang, Georgios Fainekos
Formalizing and evaluating requirements of perception systems for automated vehicles using spatio-temporal perception logic. Int. J. Robotics Res. 43 (2) (2024)
Navid Hashemi, Bardh Hoxha, Danil V. Prokhorov, Georgios Fainekos, Jyotirmoy Deshmukh
Scaling Learning based Policy Optimization for Temporal Tasks via Dropout. CoRR (2024)
Hardik Parwana, Mitchell Black, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Danil V. Prokhorov
Model Predictive Path Integral Methods with Reach-Avoid Tasks and Control Barrier Functions. CoRR (2024)
Yiqi Zhao, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, Lars Lindemann
Robust Conformal Prediction for STL Runtime Verification under Distribution Shift. CoRR (2023)
Keyvan Majd, Geoffrey Clark, Tanmay Khandait, Siyu Zhou, Sriram Sankaranarayanan, Georgios Fainekos, Heni Ben Amor
Certifiably-correct Control Policies for Safe Learning and Adaptation in Assistive Robotics. CoRR (2023)
Navid Hashemi, Bardh Hoxha, Tomoya Yamaguchi, Danil V. Prokhorov, Georgios Fainekos, Jyotirmoy Deshmukh
A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning-enabled Control Systems. ICCPS (2023)
Quinn Thibeault, Tanmay Khandait, Giulia Pedrielli, Georgios Fainekos
Search Based Testing for Code Coverage and Falsification in Cyber-Physical Systems. CASE (2023)
Navid Hashemi, Xin Qin, Jyotirmoy V. Deshmukh, Georgios Fainekos, Bardh Hoxha, Danil V. Prokhorov, Tomoya Yamaguchi
Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives. ACC (2023)
Mitchell Black, Georgios Fainekos, Bardh Hoxha, Danil V. Prokhorov, Dimitra Panagou
Safety Under Uncertainty: Tight Bounds with Risk-Aware Control Barrier Functions. CoRR (2023)
Kandai Watanabe, Georgios Fainekos, Bardh Hoxha, Morteza Lahijanian, Danil V. Prokhorov, Sriram Sankaranarayanan, Tomoya Yamaguchi
Timed Partial Order Inference Algorithm. ICAPS (2023)
Claudio Menghi, Paolo Arcaini, Walstan Baptista, Gidon Ernst, Georgios Fainekos, Federico Formica, Sauvik Gon, Tanmay Khandait, Atanu Kundu, Giulia Pedrielli, Jarkko Peltomäki, Ivan Porres, Rajarshi Ray, Masaki Waga, Zhenya Zhang
ARCH-COMP23 Category Report: Falsification. ARCH (2023)
Kandai Watanabe, Bardh Hoxha, Danil V. Prokhorov, Georgios Fainekos, Morteza Lahijanian, Sriram Sankaranarayanan, Tomoya Yamaguchi
Timed Partial Order Inference Algorithm. CoRR (2023)
Keyvan Majd, Geoffrey Clark, Tanmay Khandait, Siyu Zhou, Sriram Sankaranarayanan, Georgios Fainekos, Heni Ben Amor
Safe Robot Learning in Assistive Devices through Neural Network Repair. CoRR (2023)
Shuo Yang, Mitchell Black, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Rahul Mangharam
Safe Control Synthesis for Hybrid Systems through Local Control Barrier Functions. CoRR (2023)
Mitchell Black, Georgios Fainekos, Bardh Hoxha, Danil V. Prokhorov, Dimitra Panagou
Safety Under Uncertainty: Tight Bounds with Risk-Aware Control Barrier Functions. ICRA (2023)
Hoang-Dung Tran, Sungwoo Choi, Hideki Okamoto, Bardh Hoxha, Georgios Fainekos, Danil V. Prokhorov
Quantitative Verification for Neural Networks using ProbStars. HSCC (2023)
Jacob Anderson, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Danil V. Prokhorov
Pattern Matching for Perception Streams. RV (2023)
Hardik Parwana, Mitchell Black, Bardh Hoxha, Hideki Okamoto, Georgios Fainekos, Danil V. Prokhorov, Dimitra Panagou
Feasible Space Monitoring for Multiple Control Barrier Functions with application to Large Scale Indoor Navigation. CoRR (2023)
Tanmay Khandait, Aniruddh Chandratre, Walstan Baptista, Giulia Pedrielli, Georgios Fainekos
Demo Abstract: Analysing CPS Security with Falsification on the Microsoft Flight Simulator. HSCC (2023)
Navid Hashemi, Bardh Hoxha, Tomoya Yamaguchi, Danil V. Prokhorov, Georgios Fainekos, Jyotirmoy Deshmukh
A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems. CoRR (2023)
Aniruddh Chandratre, Tomas Hernandez Acosta, Tanmay Khandait, Giulia Pedrielli, Georgios Fainekos
Stealthy attacks formalized as STL formulas for Falsification of CPS Security. HSCC (2023)
Mohammad Hekmatnejad, Bardh Hoxha, Jyotirmoy V. Deshmukh, Yezhou Yang, Georgios Fainekos
Formalizing and Evaluating Requirements of Perception Systems for Automated Vehicles using Spatio-Temporal Perception Logic. CoRR (2022)
Gidon Ernst, Paolo Arcaini, Georgios Fainekos, Federico Formica, Jun Inoue, Tanmay Khandait, Mohammad Mahdi Mahboob, Claudio Menghi, Giulia Pedrielli, Masaki Waga, Yoriyuki Yamagata, Zhenya Zhang
ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources. ARCH@SAFECOMP (2022)
Keyvan Majd, Geoffrey Mitchell Clark, Tanmay Khandait, Siyu Zhou, Sriram Sankaranarayanan, Georgios Fainekos, Heni Ben Amor
Safe Robot Learning in Assistive Devices through Neural Network Repair. CoRL (2022)
Jacob Anderson, Mohammad Hekmatnejad, Georgios Fainekos
PyFoReL: A Domain-Specific Language for Formal Requirements in Temporal Logic. RE (2022)
Amir Salimi Lafmejani, Spring Berman, Georgios Fainekos
NMPC-LBF: Nonlinear MPC with Learned Barrier Function for Decentralized Safe Navigation of Multiple Robots in Unknown Environments. CoRR (2022)
Mehdi Dadvar, Keyvan Majd, Elena Oikonomou, Georgios Fainekos, Siddharth Srivastava
Joint Communication and Motion Planning for Cobots. ICRA (2022)
Navid Hashemi, Xin Qin, Jyotirmoy V. Deshmukh, Georgios Fainekos, Bardh Hoxha, Danil V. Prokhorov, Tomoya Yamaguchi
Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives. CoRR (2022)
Amir Salimi Lafmejani, Spring Berman, Georgios Fainekos
NMPC-LBF: Nonlinear MPC with Learned Barrier Function for Decentralized Safe Navigation of Multiple Robots in Unknown Environments. IROS (2022)
Anand Balakrishnan, Jyotirmoy Deshmukh, Bardh Hoxha, Tomoya Yamaguchi, Georgios Fainekos
PerceMon: Online Monitoring for Perception Systems. RV (2021)
Shakiba Yaghoubi, Keyvan Majd, Georgios Fainekos, Tomoya Yamaguchi, Danil V. Prokhorov, Bardh Hoxha
Risk-Bounded Control Using Stochastic Barrier Functions. IEEE Control. Syst. Lett. 5 (5) (2021)
Gidon Ernst, Paolo Arcaini, Ismail Bennani, Aniruddh Chandratre, Alexandre Donzé, Georgios Fainekos, Goran Frehse, Khouloud Gaaloul, Jun Inoue, Tanmay Khandait, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Masaki Waga, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang
ARCH-COMP 2021 Category Report: Falsification with Validation of Results. ARCH@ADHS (2021)
Shakiba Yaghoubi, Georgios Fainekos, Tomoya Yamaguchi, Danil V. Prokhorov, Bardh Hoxha
Risk-Bounded Control with Kalman Filtering and Stochastic Barrier Functions. CDC (2021)
Giulia Pedrielli, Tanmay Khandait, Surdeep Chotaliya, Quinn Thibeault, Hao Huang, Mauricio Castillo-Effen, Georgios Fainekos
Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation with Probabilistic Guarantees. CoRR (2021)
Mehdi Dadvar, Keyvan Majd, Elena Oikonomou, Georgios Fainekos, Siddharth Srivastava
Joint Communication and Motion Planning for Cobots. CoRR (2021)
Anand Balakrishnan, Jyotirmoy Deshmukh, Bardh Hoxha, Tomoya Yamaguchi, Georgios Fainekos
PerceMon: Online Monitoring for Perception Systems. CoRR (2021)
Ourania Spantidi, Iraklis Anagnostopoulos, Georgios Fainekos
Efficient Resource Management of Clustered Multi-Processor Systems Through Formal Property Exploration. DATE (2021)
Quinn Thibeault, Jacob Anderson, Aniruddh Chandratre, Giulia Pedrielli, Georgios Fainekos
PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for Cyber-Physical Systems. CoRR (2021)
Quinn Thibeault, Jacob Anderson, Aniruddh Chandratre, Giulia Pedrielli, Georgios Fainekos
PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for Cyber-Physical Systems. FMICS (2021)
Shakiba Yaghoubi, Georgios Fainekos, Tomoya Yamaguchi, Danil V. Prokhorov, Bardh Hoxha
Risk-Bounded Control with Kalman Filtering and Stochastic Barrier Functions. CoRR (2021)
Keyvan Majd, Siyu Zhou, Heni Ben Amor, Georgios Fainekos, Sriram Sankaranarayanan
Local Repair of Neural Networks Using Optimization. CoRR (2021)
Logan Mathesen, Giulia Pedrielli, Georgios Fainekos
Efficient Optimization-Based Falsification of Cyber-Physical Systems with Multiple Conjunctive Requirements. CASE (2021)
Yumeng Cao, Quinn Thibeault, Aniruddh Chandratre, Georgios Fainekos, Giulia Pedrielli, Mauricio Castillo-Effen
Towards assurance case evidence generation through search based testing: work-in-progress. EMSOFT (2021)
Shakiba Yaghoubi, Keyvan Majd, Georgios Fainekos, Tomoya Yamaguchi, Danil V. Prokhorov, Bardh Hoxha
Risk-bounded Control using Stochastic Barrier Functions. ACC (2021)
Keyvan Majd, Shakiba Yaghoubi, Tomoya Yamaguchi, Bardh Hoxha, Danil V. Prokhorov, Georgios Fainekos
Safe Navigation in Human Occupied Environments Using Sampling and Control Barrier Functions. IROS (2021)
Keyvan Majd, Shakiba Yaghoubi, Tomoya Yamaguchi, Bardh Hoxha, Danil V. Prokhorov, Georgios Fainekos
Safe Navigation in Human Occupied Environments Using Sampling and Control Barrier Functions. CoRR (2021)
Mohammad Hekmatnejad, Bardh Hoxha, Georgios Fainekos
Search-based Test-Case Generation by Monitoring Responsibility Safety Rules. CoRR (2020)
Shakiba Yaghoubi, Georgios Fainekos, Sriram Sankaranarayanan
Training Neural Network Controllers Using Control Barrier Functions in the Presence of Disturbances. ITSC (2020)
Sai Krishna Bashetty, Heni Ben Amor, Georgios Fainekos
DeepCrashTest: Turning Dashcam Videos into Virtual Crash Tests for Automated Driving Systems. CoRR (2020)
Sai Krishna Bashetty, Heni Ben Amor, Georgios Fainekos
DeepCrashTest: Turning Dashcam Videos into Virtual Crash Tests for Automated Driving Systems. ICRA (2020)
Mohammad Hekmatnejad, Bardh Hoxha, Georgios Fainekos
Search-based Test-CASe Generation by Monitoring Responsibility Safety Rules. ITSC (2020)
Joseph Cralley, Ourania Spantidi, Bardh Hoxha, Georgios Fainekos
TLTk: A Toolbox for Parallel Robustness Computation of Temporal Logic Specifications. RV (2020)
Shakiba Yaghoubi, Georgios Fainekos, Sriram Sankaranarayanan
Training Neural Network Controllers Using Control Barrier Functions in the Presence of Disturbances. CoRR (2020)
Shakiba Yaghoubi, Georgios Fainekos
Worst-case Satisfaction of STL Specifications Using Feedforward Neural Network Controllers: A Lagrange Multipliers Approach. ITA (2020)
Cumhur Erkan Tuncali, Georgios Fainekos, Danil V. Prokhorov, Hisahiro Ito, James Kapinski
Requirements-Driven Test Generation for Autonomous Vehicles With Machine Learning Components. IEEE Trans. Intell. Veh. 5 (2) (2020)
Gidon Ernst, Paolo Arcaini, Ismail Bennani, Alexandre Donzé, Georgios Fainekos, Goran Frehse, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang
ARCH-COMP 2020 Category Report: Falsification. ARCH (2020)
Mohammad Hekmatnejad, Georgios Fainekos
Model Checking Clinical Decision Support Systems Using SMT. CoRR (2019)
Alireza Inanlouganji, Shakiba Yaghoubi, Georgios Fainekos, Giulia Pedrielli
Falsification of cyber-physical systems through multi-fidelity stochastic optimization. SNR (2019)
Shakiba Yaghoubi, Georgios Fainekos
Worst-case Satisfaction of STL Specifications Using Feedforward Neural Network Controllers: A Lagrange Multipliers Approach. ACM Trans. Embed. Comput. Syst. 18 (5s) (2019)
Anand Balakrishnan, Aniruddh Gopinath Puranic, Xin Qin, Adel Dokhanchi, Jyotirmoy V. Deshmukh, Heni Ben Amor, Georgios Fainekos
Specifying and Evaluating Quality Metrics for Vision-based Perception Systems. DATE (2019)
Cumhur Erkan Tuncali, Georgios Fainekos
Rapidly-exploring Random Trees-based Test Generation for Autonomous Vehicles. CoRR (2019)
Logan Mathesen, Shakiba Yaghoubi, Giulia Pedrielli, Georgios Fainekos
Falsification of Cyber-Physical Systems with Robustness Uncertainty Quantification Through Stochastic optimization with Adaptive Restart. CASE (2019)
Shakiba Yaghoubi, Georgios Fainekos
Gray-box adversarial testing for control systems with machine learning components. HSCC (2019)
Cumhur Erkan Tuncali, Georgios Fainekos
Rapidly-exploring Random Trees for Testing Automated Vehicles. ITSC (2019)
Mohammad Hekmatnejad, Giulia Pedrielli, Georgios Fainekos
Task Scheduling with Nonlinear Costs using SMT Solvers. CASE (2019)
Georgios Fainekos, Bardh Hoxha, Sriram Sankaranarayanan
Robustness of Specifications and Its Applications to Falsification, Parameter Mining, and Runtime Monitoring with S-TaLiRo. RV (2019)
Cumhur Erkan Tuncali, Georgios Fainekos, Danil V. Prokhorov, Hisahiro Ito, James Kapinski
Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components. CoRR (2019)
Gidon Ernst, Paolo Arcaini, Alexandre Donzé, Georgios Fainekos, Logan Mathesen, Giulia Pedrielli, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang
ARCH-COMP 2019 Category Report: Falsification. ARCH@CPSIoTWeek (2019)
Mohammad Hekmatnejad, Shakiba Yaghoubi, Adel Dokhanchi, Heni Ben Amor, Aviral Shrivastava, Lina J. Karam, Georgios Fainekos
Encoding and monitoring responsibility sensitive safety rules for automated vehicles in signal temporal logic. MEMOCODE (2019)
Adel Dokhanchi, Heni Ben Amor, Jyotirmoy V. Deshmukh, Georgios Fainekos
Evaluating Perception Systems for Autonomous Vehicles Using Quality Temporal Logic. RV (2018)
Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos
Formal Requirement Debugging for Testing and Verification of Cyber-Physical Systems. ACM Trans. Embed. Comput. Syst. 17 (2) (2018)
Cumhur Erkan Tuncali, Bardh Hoxha, Guohui Ding, Georgios Fainekos, Sriram Sankaranarayanan
Experience Report: Application of Falsification Methods on the UxAS System. NFM (2018)
Mark Strickland, Georgios Fainekos, Heni Ben Amor
Deep Predictive Models for Collision Risk Assessment in Autonomous Driving. ICRA (2018)
Shakiba Yaghoubi, Georgios Fainekos
Local Descent For Temporal Logic Falsification of Cyber-Physical Systems (Extended Technical Report). CoRR (2018)
Bardh Hoxha, Adel Dokhanchi, Georgios Fainekos
Mining parametric temporal logic properties in model-based design for cyber-physical systems. Int. J. Softw. Tools Technol. Transf. 20 (1) (2018)
Cumhur Erkan Tuncali, Georgios Fainekos, Hisahiro Ito, James Kapinski
Simulation-based Adversarial Test Generation for Autonomous Vehicles with Machine Learning Components. CoRR (2018)
Shakiba Yaghoubi, Georgios Fainekos
Falsification of Temporal Logic Requirements Using Gradient Based Local Search in Space and Time. ADHS (2018)
Luan Viet Nguyen, Bardh Hoxha, Taylor T. Johnson, Georgios Fainekos
Mission Planning for Multiple Vehicles with Temporal Specifications using UxAS. ADHS (2018)
Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos, Gidon Ernst, Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo, Sean Sedwards
ARCH-COMP18 Category Report: Results on the Falsification Benchmarks. ARCH@ADHS (2018)
Mohammad Hekmatnejad, Georgios Fainekos
Optimal Multi-Valued LTL Planning for Systems with Access Right Levels. ACC (2018)
Alireza Inanlouganji, Giulia Pedrielli, Georgios Fainekos, Sebastian Pokutta
Continuous simulation Optimization with Model mismatch using Gaussian Process Regression. WSC (2018)
Cumhur Erkan Tuncali, Georgios Fainekos, Hisahiro Ito, James Kapinski
Simulation-based Adversarial Test Generation for Autonomous Vehicles with Machine Learning Components. Intelligent Vehicles Symposium (2018)
Cumhur Erkan Tuncali, Georgios Fainekos, Hisahiro Ito, James Kapinski
Sim-ATAV: Simulation-Based Adversarial Testing Framework for Autonomous Vehicles. HSCC (2018)
Shakiba Yaghoubi, Georgios Fainekos
Gray-box Adversarial Testing for Control Systems with Machine Learning Component. CoRR (2018)
Houssam Abbas, Indranil Saha, Yasser Shoukry, Rüdiger Ehlers, Georgios Fainekos, Rajesh Gupta, Rupak Majumdar, Dogan Ulus
Embedded software for robotics: challenges and future directions: special session. EMSOFT (2018)
Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos
Vacuity aware falsification for MTL request-response specifications. CASE (2017)
Shakiba Yaghoubi, Georgios Fainekos
Local Descent for Temporal Logic Falsification of Cyber-Physical Systems. CyPhy (2017)
Mark Strickland, Georgios Fainekos, Heni Ben Amor
Deep Predictive Models for Collision Risk Assessment in Autonomous Driving. CoRR (2017)
Cumhur Erkan Tuncali, Shakiba Yaghoubi, Theodore P. Pavlic, Georgios Fainekos
Functional gradient descent optimization for automatic test case generation for vehicle controllers. CASE (2017)
Sriram Sankaranarayanan, Suhas Akshar Kumar, Faye Cameron, B. Wayne Bequette, Georgios Fainekos, David M. Maahs
Model-based falsification of an artificial pancreas control system. SIGBED Rev. 14 (2) (2017)
Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos
ARCH-COMP17 Category Report: Preliminary Results on the Falsification Benchmarks. ARCH@CPSWeek (2017)
Shakiba Yaghoubi, Georgios Fainekos
Hybrid approximate gradient and stochastic descent for falsification of nonlinear systems. ACC (2017)

Georgios Fainekos.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Georgios Fainekos