Conformal Prediction in the Loop: Risk-Aware Control Barrier Functions for Stochastic Systems With Data-Driven State Estimators. - Zhang, Junhui; Hoxha, Bardh; Fainekos, Georgios; Panagou, Dimitra (IEEE Control. Syst. Lett., 2025)

StarV: A Qualitative and Quantitative Verification Tool for Learning-Enabled Systems. - Tran, Hoang-Dung; Choi, Sung Woo; Li, Yuntao; Liu, Qing; Okamoto, Hideki; Hoxha, Bardh; Fainekos, Georgios (2025)

ProbStar Temporal Logic for Verifying Complex Behaviors of Learning-enabled Systems. - Tran, Hoang-Dung; Choi, Sung Woo; Li, Yuntao; Okamoto, Hideki; Hoxha, Bardh; Fainekos, Georgios (2025)

Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications. - Zhao, Yiqi; Zhu, Emily; Hoxha, Bardh; Fainekos, Georgios; Deshmukh, Jyotirmoy V.; Lindemann, Lars (CoRR, 2025)

Safe Navigation in Uncertain Crowded Environments Using Risk Adaptive CVaR Barrier Functions. - Wang, Xinyi; Kim, Taekyung; Hoxha, Bardh; Fainekos, Georgios; Panagou, Dimitra (CoRR, 2025)

MRTA-Sim: A Modular Simulator for Multi-Robot Allocation, Planning, and Control in Open-World Environments. - Tuck, Victoria Marie; Parwana, Hardik; Chen, Pei-Wei; Fainekos, Georgios; Hoxha, Bardh; Okamoto, Hideki; Sastry, S. Shankar; Seshia, Sanjit A. (CoRR, 2025)

BR-MPPI: Barrier Rate guided MPPI for Enforcing Multiple Inequality Constraints with Learned Signed Distance Field. - Parwana, Hardik; Kim, Taekyung; Long, Kehan; Hoxha, Bardh; Okamoto, Hideki; Fainekos, Georgios; Panagou, Dimitra (CoRR, 2025)

Formalizing and evaluating requirements of perception systems for automated vehicles using spatio-temporal perception logic. - Hekmatnejad, Mohammad; Hoxha, Bardh; Deshmukh, Jyotirmoy V.; Yang, Yezhou; Fainekos, Georgios (Int. J. Robotics Res., 2024)

Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation With Probabilistic Guarantees. - Pedrielli, Giulia; Khandait, Tanmay; Cao, Yumeng; Thibeault, Quinn; Huang, Hao; Castillo-Effen, Mauricio; Fainekos, Georgios (IEEE Trans Autom. Sci. Eng., 2024)

Scaling Learning-based Policy Optimization for Temporal Logic Tasks by Controller Network Dropout. - Hashemi, Navid; Hoxha, Bardh; Prokhorov, Danil V.; Fainekos, Georgios; Deshmukh, Jyotirmoy V. (ACM Trans. Cyber Phys. Syst., 2024)

Safe Control Synthesis for Hybrid Systems through Local Control Barrier Functions. - Yang, Shuo; Black, Mitchell; Fainekos, Georgios; Hoxha, Bardh; Okamoto, Hideki; Mangharam, Rahul (2024)

Risk-Aware Fixed-Time Stabilization of Stochastic Systems Under Measurement Uncertainty. - Black, Mitchell; Fainekos, Georgios; Hoxha, Bardh; Panagou, Dimitra (2024)

Robust Conformal Prediction for STL Runtime Verification under Distribution Shift. - Zhao, Yiqi; Hoxha, Bardh; Fainekos, Georgios; Deshmukh, Jyotirmoy V.; Lindemann, Lars (2024)

Optimal Planning for Timed Partial Order Specifications. - Watanabe, Kandai; Fainekos, Georgios; Hoxha, Bardh; Lahijanian, Morteza; Okamoto, Hideki; Sankaranarayanan, Sriram (2024)

Repairing Neural Networks for Safety in Robotic Systems using Predictive Models. - Majd, Keyvan; Clark, Geoffrey; Fainekos, Georgios; Amor, Heni Ben (2024)

CBFkit: A Control Barrier Function Toolbox for Robotics Applications. - Black, Mitchell; Fainekos, Georgios; Hoxha, Bardh; Okamoto, Hideki; Prokhorov, Danil V. (2024)

SMT-Based Dynamic Multi-Robot Task Allocation. - Tuck, Victoria Marie; Chen, Pei-Wei; Fainekos, Georgios; Hoxha, Bardh; Okamoto, Hideki; Sastry, S. Shankar; Seshia, Sanjit A. (2024)

SMT-Based Dynamic Multi-Robot Task Allocation. - Tuck, Victoria Marie; Chen, Pei-Wei; Fainekos, Georgios; Hoxha, Bardh; Okamoto, Hideki; Sastry, S. Shankar; Seshia, Sanjit A. (CoRR, 2024)

Scaling Learning based Policy Optimization for Temporal Tasks via Dropout. - Hashemi, Navid; Hoxha, Bardh; Prokhorov, Danil V.; Fainekos, Georgios; Deshmukh, Jyotirmoy (CoRR, 2024)

Risk-Aware Fixed-Time Stabilization of Stochastic Systems under Measurement Uncertainty. - Black, Mitchell; Fainekos, Georgios; Hoxha, Bardh; Panagou, Dimitra (CoRR, 2024)

CBFKIT: A Control Barrier Function Toolbox for Robotics Applications. - Black, Mitchell; Fainekos, Georgios; Hoxha, Bardh; Okamoto, Hideki; Prokhorov, Danil V. (CoRR, 2024)

Optimal Planning for Timed Partial Order Specifications. - Watanabe, Kandai; Fainekos, Georgios; Hoxha, Bardh; Lahijanian, Morteza; Okamoto, Hideki; Sankaranarayanan, Sriram (CoRR, 2024)

Model Predictive Path Integral Methods with Reach-Avoid Tasks and Control Barrier Functions. - Parwana, Hardik; Black, Mitchell; Fainekos, Georgios; Hoxha, Bardh; Okamoto, Hideki; Prokhorov, Danil V. (CoRR, 2024)

Neural Configuration Distance Function for Continuum Robot Control. - Long, Kehan; Parwana, Hardik; Fainekos, Georgios; Hoxha, Bardh; Okamoto, Hideki; Atanasov, Nikolay (CoRR, 2024)

Repairing Neural Networks for Safety in Robotic Systems using Predictive Models. - Majd, Keyvan; Clark, Geoffrey Mitchell; Fainekos, Georgios; Amor, Heni Ben (CoRR, 2024)

Querying Perception Streams with Spatial Regular Expressions. - Anderson, Jacob; Fainekos, Georgios; Hoxha, Bardh; Okamoto, Hideki; Prokhorov, Danil V. (CoRR, 2024)

Risk-aware MPPI for Stochastic Hybrid Systems. - Parwana, Hardik; Black, Mitchell; Hoxha, Bardh; Okamoto, Hideki; Fainekos, Georgios; Prokhorov, Danil V.; Panagou, Dimitra (CoRR, 2024)

From Dashcam Videos to Driving Simulations: Stress Testing Automated Vehicles against Rare Events. - Miao, Yan; Fainekos, Georgios; Hoxha, Bardh; Okamoto, Hideki; Prokhorov, Danil V.; Mitra, Sayan (CoRR, 2024)

Timed Partial Order Inference Algorithm. - Watanabe, Kandai; Fainekos, Georgios; Hoxha, Bardh; Lahijanian, Morteza; Prokhorov, Danil V.; Sankaranarayanan, Sriram; Yamaguchi, Tomoya (2023)

Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives. - Hashemi, Navid; Qin, Xin; Deshmukh, Jyotirmoy V.; Fainekos, Georgios; Hoxha, Bardh; Prokhorov, Danil V.; Yamaguchi, Tomoya (2023)

ARCH-COMP23 Category Report: Falsification. - Menghi, Claudio; Arcaini, Paolo; Baptista, Walstan; Ernst, Gidon; Fainekos, Georgios; Formica, Federico; Gon, Sauvik; Khandait, Tanmay; Kundu, Atanu; Pedrielli, Giulia; Peltomäki, Jarkko; Porres, Ivan; et al. (2023)

Search Based Testing for Code Coverage and Falsification in Cyber-Physical Systems. - Thibeault, Quinn; Khandait, Tanmay; Pedrielli, Giulia; Fainekos, Georgios (2023)

Quantitative Verification for Neural Networks using ProbStars. - Tran, Hoang-Dung; Choi, Sungwoo; Okamoto, Hideki; Hoxha, Bardh; Fainekos, Georgios; Prokhorov, Danil V. (2023)

Stealthy attacks formalized as STL formulas for Falsification of CPS Security. - Chandratre, Aniruddh; Acosta, Tomas Hernandez; Khandait, Tanmay; Pedrielli, Giulia; Fainekos, Georgios (2023)

Demo Abstract: Analysing CPS Security with Falsification on the Microsoft Flight Simulator. - Khandait, Tanmay; Chandratre, Aniruddh; Baptista, Walstan; Pedrielli, Giulia; Fainekos, Georgios (2023)

A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning-enabled Control Systems. - Hashemi, Navid; Hoxha, Bardh; Yamaguchi, Tomoya; Prokhorov, Danil V.; Fainekos, Georgios; Deshmukh, Jyotirmoy (2023)

Safety Under Uncertainty: Tight Bounds with Risk-Aware Control Barrier Functions. - Black, Mitchell; Fainekos, Georgios; Hoxha, Bardh; Prokhorov, Danil V.; Panagou, Dimitra (2023)

Pattern Matching for Perception Streams. - Anderson, Jacob; Fainekos, Georgios; Hoxha, Bardh; Okamoto, Hideki; Prokhorov, Danil V. (2023)

Timed Partial Order Inference Algorithm. - Watanabe, Kandai; Hoxha, Bardh; Prokhorov, Danil V.; Fainekos, Georgios; Lahijanian, Morteza; Sankaranarayanan, Sriram; Yamaguchi, Tomoya (CoRR, 2023)

Safe Robot Learning in Assistive Devices through Neural Network Repair. - Majd, Keyvan; Clark, Geoffrey; Khandait, Tanmay; Zhou, Siyu; Sankaranarayanan, Sriram; Fainekos, Georgios; Amor, Heni Ben (CoRR, 2023)

A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems. - Hashemi, Navid; Hoxha, Bardh; Yamaguchi, Tomoya; Prokhorov, Danil V.; Fainekos, Georgios; Deshmukh, Jyotirmoy (CoRR, 2023)

Certifiably-correct Control Policies for Safe Learning and Adaptation in Assistive Robotics. - Majd, Keyvan; Clark, Geoffrey; Khandait, Tanmay; Zhou, Siyu; Sankaranarayanan, Sriram; Fainekos, Georgios; Amor, Heni Ben (CoRR, 2023)

Safety Under Uncertainty: Tight Bounds with Risk-Aware Control Barrier Functions. - Black, Mitchell; Fainekos, Georgios; Hoxha, Bardh; Prokhorov, Danil V.; Panagou, Dimitra (CoRR, 2023)

Robust Conformal Prediction for STL Runtime Verification under Distribution Shift. - Zhao, Yiqi; Hoxha, Bardh; Fainekos, Georgios; Deshmukh, Jyotirmoy V.; Lindemann, Lars (CoRR, 2023)

Safe Control Synthesis for Hybrid Systems through Local Control Barrier Functions. - Yang, Shuo; Black, Mitchell; Fainekos, Georgios; Hoxha, Bardh; Okamoto, Hideki; Mangharam, Rahul (CoRR, 2023)

Feasible Space Monitoring for Multiple Control Barrier Functions with application to Large Scale Indoor Navigation. - Parwana, Hardik; Black, Mitchell; Hoxha, Bardh; Okamoto, Hideki; Fainekos, Georgios; Prokhorov, Danil V.; Panagou, Dimitra (CoRR, 2023)

ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources. - Ernst, Gidon; Arcaini, Paolo; Fainekos, Georgios; Formica, Federico; Inoue, Jun; Khandait, Tanmay; Mahboob, Mohammad Mahdi; Menghi, Claudio; Pedrielli, Giulia; Waga, Masaki; Yamagata, Yoriyuki; Zhang, Zhenya (2022)

Safe Robot Learning in Assistive Devices through Neural Network Repair. - Majd, Keyvan; Clark, Geoffrey Mitchell; Khandait, Tanmay; Zhou, Siyu; Sankaranarayanan, Sriram; Fainekos, Georgios; Amor, Heni Ben (2022)

Joint Communication and Motion Planning for Cobots. - Dadvar, Mehdi; Majd, Keyvan; Oikonomou, Elena; Fainekos, Georgios; Srivastava, Siddharth (2022)

NMPC-LBF: Nonlinear MPC with Learned Barrier Function for Decentralized Safe Navigation of Multiple Robots in Unknown Environments. - Lafmejani, Amir Salimi; Berman, Spring; Fainekos, Georgios (2022)

PyFoReL: A Domain-Specific Language for Formal Requirements in Temporal Logic. - Anderson, Jacob; Hekmatnejad, Mohammad; Fainekos, Georgios (2022)

Formalizing and Evaluating Requirements of Perception Systems for Automated Vehicles using Spatio-Temporal Perception Logic. - Hekmatnejad, Mohammad; Hoxha, Bardh; Deshmukh, Jyotirmoy V.; Yang, Yezhou; Fainekos, Georgios (CoRR, 2022)

NMPC-LBF: Nonlinear MPC with Learned Barrier Function for Decentralized Safe Navigation of Multiple Robots in Unknown Environments. - Lafmejani, Amir Salimi; Berman, Spring; Fainekos, Georgios (CoRR, 2022)

Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives. - Hashemi, Navid; Qin, Xin; Deshmukh, Jyotirmoy V.; Fainekos, Georgios; Hoxha, Bardh; Prokhorov, Danil V.; Yamaguchi, Tomoya (CoRR, 2022)

Risk-Bounded Control Using Stochastic Barrier Functions. - Yaghoubi, Shakiba; Majd, Keyvan; Fainekos, Georgios; Yamaguchi, Tomoya; Prokhorov, Danil V.; Hoxha, Bardh (IEEE Control. Syst. Lett., 2021)

Risk-bounded Control using Stochastic Barrier Functions. - Yaghoubi, Shakiba; Majd, Keyvan; Fainekos, Georgios; Yamaguchi, Tomoya; Prokhorov, Danil V.; Hoxha, Bardh (2021)

ARCH-COMP 2021 Category Report: Falsification with Validation of Results. - Ernst, Gidon; Arcaini, Paolo; Bennani, Ismail; Chandratre, Aniruddh; Donzé, Alexandre; Fainekos, Georgios; Frehse, Goran; Gaaloul, Khouloud; Inoue, Jun; Khandait, Tanmay; Mathesen, Logan; Menghi, Claudio; et al. (2021)

Efficient Optimization-Based Falsification of Cyber-Physical Systems with Multiple Conjunctive Requirements. - Mathesen, Logan; Pedrielli, Giulia; Fainekos, Georgios (2021)

Risk-Bounded Control with Kalman Filtering and Stochastic Barrier Functions. - Yaghoubi, Shakiba; Fainekos, Georgios; Yamaguchi, Tomoya; Prokhorov, Danil V.; Hoxha, Bardh (2021)

Efficient Resource Management of Clustered Multi-Processor Systems Through Formal Property Exploration. - Spantidi, Ourania; Anagnostopoulos, Iraklis; Fainekos, Georgios (2021)

Towards assurance case evidence generation through search based testing: work-in-progress. - Cao, Yumeng; Thibeault, Quinn; Chandratre, Aniruddh; Fainekos, Georgios; Pedrielli, Giulia; Castillo-Effen, Mauricio (2021)

PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for Cyber-Physical Systems. - Thibeault, Quinn; Anderson, Jacob; Chandratre, Aniruddh; Pedrielli, Giulia; Fainekos, Georgios (2021)

Safe Navigation in Human Occupied Environments Using Sampling and Control Barrier Functions. - Majd, Keyvan; Yaghoubi, Shakiba; Yamaguchi, Tomoya; Hoxha, Bardh; Prokhorov, Danil V.; Fainekos, Georgios (2021)

PerceMon: Online Monitoring for Perception Systems. - Balakrishnan, Anand; Deshmukh, Jyotirmoy; Hoxha, Bardh; Yamaguchi, Tomoya; Fainekos, Georgios (2021)

Safe Navigation in Human Occupied Environments Using Sampling and Control Barrier Functions. - Majd, Keyvan; Yaghoubi, Shakiba; Yamaguchi, Tomoya; Hoxha, Bardh; Prokhorov, Danil V.; Fainekos, Georgios (CoRR, 2021)

PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for Cyber-Physical Systems. - Thibeault, Quinn; Anderson, Jacob; Chandratre, Aniruddh; Pedrielli, Giulia; Fainekos, Georgios (CoRR, 2021)

PerceMon: Online Monitoring for Perception Systems. - Balakrishnan, Anand; Deshmukh, Jyotirmoy; Hoxha, Bardh; Yamaguchi, Tomoya; Fainekos, Georgios (CoRR, 2021)

Joint Communication and Motion Planning for Cobots. - Dadvar, Mehdi; Majd, Keyvan; Oikonomou, Elena; Fainekos, Georgios; Srivastava, Siddharth (CoRR, 2021)

Local Repair of Neural Networks Using Optimization. - Majd, Keyvan; Zhou, Siyu; Amor, Heni Ben; Fainekos, Georgios; Sankaranarayanan, Sriram (CoRR, 2021)

Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation with Probabilistic Guarantees. - Pedrielli, Giulia; Khandait, Tanmay; Chotaliya, Surdeep; Thibeault, Quinn; Huang, Hao; Castillo-Effen, Mauricio; Fainekos, Georgios (CoRR, 2021)

Risk-Bounded Control with Kalman Filtering and Stochastic Barrier Functions. - Yaghoubi, Shakiba; Fainekos, Georgios; Yamaguchi, Tomoya; Prokhorov, Danil V.; Hoxha, Bardh (CoRR, 2021)

Requirements-Driven Test Generation for Autonomous Vehicles With Machine Learning Components. - Tuncali, Cumhur Erkan; Fainekos, Georgios; Prokhorov, Danil V.; Ito, Hisahiro; Kapinski, James (IEEE Trans. Intell. Veh., 2020)

ARCH-COMP 2020 Category Report: Falsification. - Ernst, Gidon; Arcaini, Paolo; Bennani, Ismail; Donzé, Alexandre; Fainekos, Georgios; Frehse, Goran; Mathesen, Logan; Menghi, Claudio; Pedrielli, Giulia; Pouzet, Marc; Yaghoubi, Shakiba; Yamagata, Yoriyuki; et al. (2020)

DeepCrashTest: Turning Dashcam Videos into Virtual Crash Tests for Automated Driving Systems. - Bashetty, Sai Krishna; Amor, Heni Ben; Fainekos, Georgios (2020)

Worst-case Satisfaction of STL Specifications Using Feedforward Neural Network Controllers: A Lagrange Multipliers Approach. - Yaghoubi, Shakiba; Fainekos, Georgios (2020)

Search-based Test-CASe Generation by Monitoring Responsibility Safety Rules. - Hekmatnejad, Mohammad; Hoxha, Bardh; Fainekos, Georgios (2020)

Training Neural Network Controllers Using Control Barrier Functions in the Presence of Disturbances. - Yaghoubi, Shakiba; Fainekos, Georgios; Sankaranarayanan, Sriram (2020)

TLTk: A Toolbox for Parallel Robustness Computation of Temporal Logic Specifications. - Cralley, Joseph; Spantidi, Ourania; Hoxha, Bardh; Fainekos, Georgios (2020)

Training Neural Network Controllers Using Control Barrier Functions in the Presence of Disturbances. - Yaghoubi, Shakiba; Fainekos, Georgios; Sankaranarayanan, Sriram (CoRR, 2020)

DeepCrashTest: Turning Dashcam Videos into Virtual Crash Tests for Automated Driving Systems. - Bashetty, Sai Krishna; Amor, Heni Ben; Fainekos, Georgios (CoRR, 2020)

Search-based Test-Case Generation by Monitoring Responsibility Safety Rules. - Hekmatnejad, Mohammad; Hoxha, Bardh; Fainekos, Georgios (CoRR, 2020)

Worst-case Satisfaction of STL Specifications Using Feedforward Neural Network Controllers: A Lagrange Multipliers Approach. - Yaghoubi, Shakiba; Fainekos, Georgios (ACM Trans. Embed. Comput. Syst., 2019)

Task Scheduling with Nonlinear Costs using SMT Solvers. - Hekmatnejad, Mohammad; Pedrielli, Giulia; Fainekos, Georgios (2019)

Falsification of Cyber-Physical Systems with Robustness Uncertainty Quantification Through Stochastic optimization with Adaptive Restart. - Mathesen, Logan; Yaghoubi, Shakiba; Pedrielli, Giulia; Fainekos, Georgios (2019)

ARCH-COMP 2019 Category Report: Falsification. - Ernst, Gidon; Arcaini, Paolo; Donzé, Alexandre; Fainekos, Georgios; Mathesen, Logan; Pedrielli, Giulia; Yaghoubi, Shakiba; Yamagata, Yoriyuki; Zhang, Zhenya (2019)

Specifying and Evaluating Quality Metrics for Vision-based Perception Systems. - Balakrishnan, Anand; Puranic, Aniruddh Gopinath; Qin, Xin; Dokhanchi, Adel; Deshmukh, Jyotirmoy V.; Amor, Heni Ben; Fainekos, Georgios (2019)

Gray-box adversarial testing for control systems with machine learning components. - Yaghoubi, Shakiba; Fainekos, Georgios (2019)

Rapidly-exploring Random Trees for Testing Automated Vehicles. - Tuncali, Cumhur Erkan; Fainekos, Georgios (2019)

Encoding and monitoring responsibility sensitive safety rules for automated vehicles in signal temporal logic. - Hekmatnejad, Mohammad; Yaghoubi, Shakiba; Dokhanchi, Adel; Amor, Heni Ben; Shrivastava, Aviral; Karam, Lina J.; Fainekos, Georgios (2019)

Robustness of Specifications and Its Applications to Falsification, Parameter Mining, and Runtime Monitoring with S-TaLiRo. - Fainekos, Georgios; Hoxha, Bardh; Sankaranarayanan, Sriram (2019)

Falsification of cyber-physical systems through multi-fidelity stochastic optimization. - Inanlouganji, Alireza; Yaghoubi, Shakiba; Fainekos, Georgios; Pedrielli, Giulia (2019)

Model Checking Clinical Decision Support Systems Using SMT. - Hekmatnejad, Mohammad; Fainekos, Georgios (CoRR, 2019)

Rapidly-exploring Random Trees-based Test Generation for Autonomous Vehicles. - Tuncali, Cumhur Erkan; Fainekos, Georgios (CoRR, 2019)

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components. - Tuncali, Cumhur Erkan; Fainekos, Georgios; Prokhorov, Danil V.; Ito, Hisahiro; Kapinski, James (CoRR, 2019)

Mining parametric temporal logic properties in model-based design for cyber-physical systems. - Hoxha, Bardh; Dokhanchi, Adel; Fainekos, Georgios (Int. J. Softw. Tools Technol. Transf., 2018)

Formal Requirement Debugging for Testing and Verification of Cyber-Physical Systems. - Dokhanchi, Adel; Hoxha, Bardh; Fainekos, Georgios (ACM Trans. Embed. Comput. Syst., 2018)

Mission Planning for Multiple Vehicles with Temporal Specifications using UxAS. - Nguyen, Luan Viet; Hoxha, Bardh; Johnson, Taylor T.; Fainekos, Georgios (2018)

Falsification of Temporal Logic Requirements Using Gradient Based Local Search in Space and Time. - Yaghoubi, Shakiba; Fainekos, Georgios (2018)

ARCH-COMP18 Category Report: Results on the Falsification Benchmarks. - Dokhanchi, Adel; Yaghoubi, Shakiba; Hoxha, Bardh; Fainekos, Georgios; Ernst, Gidon; Zhang, Zhenya; Arcaini, Paolo; Hasuo, Ichiro; Sedwards, Sean (2018)

Optimal Multi-Valued LTL Planning for Systems with Access Right Levels. - Hekmatnejad, Mohammad; Fainekos, Georgios (2018)

Embedded software for robotics: challenges and future directions: special session. - Abbas, Houssam; Saha, Indranil; Shoukry, Yasser; Ehlers, Rüdiger; Fainekos, Georgios; Gupta, Rajesh; Majumdar, Rupak; Ulus, Dogan (2018)

Sim-ATAV: Simulation-Based Adversarial Testing Framework for Autonomous Vehicles. - Tuncali, Cumhur Erkan; Fainekos, Georgios; Ito, Hisahiro; Kapinski, James (2018)

Deep Predictive Models for Collision Risk Assessment in Autonomous Driving. - Strickland, Mark; Fainekos, Georgios; Amor, Heni Ben (2018)

Simulation-based Adversarial Test Generation for Autonomous Vehicles with Machine Learning Components. - Tuncali, Cumhur Erkan; Fainekos, Georgios; Ito, Hisahiro; Kapinski, James (2018)

Experience Report: Application of Falsification Methods on the UxAS System. - Tuncali, Cumhur Erkan; Hoxha, Bardh; Ding, Guohui; Fainekos, Georgios; Sankaranarayanan, Sriram (2018)

Evaluating Perception Systems for Autonomous Vehicles Using Quality Temporal Logic. - Dokhanchi, Adel; Amor, Heni Ben; Deshmukh, Jyotirmoy V.; Fainekos, Georgios (2018)

Continuous simulation Optimization with Model mismatch using Gaussian Process Regression. - Inanlouganji, Alireza; Pedrielli, Giulia; Fainekos, Georgios; Pokutta, Sebastian (2018)

Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications. - Bartocci, Ezio; Deshmukh, Jyotirmoy V.; Donzé, Alexandre; Fainekos, Georgios; Maler, Oded; Nickovic, Dejan; Sankaranarayanan, Sriram (2018)

Local Descent For Temporal Logic Falsification of Cyber-Physical Systems (Extended Technical Report). - Yaghoubi, Shakiba; Fainekos, Georgios (CoRR, 2018)

Simulation-based Adversarial Test Generation for Autonomous Vehicles with Machine Learning Components. - Tuncali, Cumhur Erkan; Fainekos, Georgios; Ito, Hisahiro; Kapinski, James (CoRR, 2018)

Gray-box Adversarial Testing for Control Systems with Machine Learning Component. - Yaghoubi, Shakiba; Fainekos, Georgios (CoRR, 2018)

Model-based falsification of an artificial pancreas control system. - Sankaranarayanan, Sriram; Kumar, Suhas Akshar; Cameron, Faye; Bequette, B. Wayne; Fainekos, Georgios; Maahs, David M. (SIGBED Rev., 2017)

Hybrid approximate gradient and stochastic descent for falsification of nonlinear systems. - Yaghoubi, Shakiba; Fainekos, Georgios (2017)

Temporal logic control under incomplete or conflicting information. - Fainekos, Georgios; Tanner, Herbert G. (2017)

Functional gradient descent optimization for automatic test case generation for vehicle controllers. - Tuncali, Cumhur Erkan; Yaghoubi, Shakiba; Pavlic, Theodore P.; Fainekos, Georgios (2017)

Vacuity aware falsification for MTL request-response specifications. - Dokhanchi, Adel; Yaghoubi, Shakiba; Hoxha, Bardh; Fainekos, Georgios (2017)

ARCH-COMP17 Category Report: Preliminary Results on the Falsification Benchmarks. - Dokhanchi, Adel; Yaghoubi, Shakiba; Hoxha, Bardh; Fainekos, Georgios (2017)

Local Descent for Temporal Logic Falsification of Cyber-Physical Systems. - Yaghoubi, Shakiba; Fainekos, Georgios (2017)

Deep Predictive Models for Collision Risk Assessment in Autonomous Driving. - Strickland, Mark; Fainekos, Georgios; Amor, Heni Ben (CoRR, 2017)

Automatic Parallelization of Multirate Block Diagrams of Control Systems on Multicore Platforms. - Tuncali, Cumhur Erkan; Fainekos, Georgios; Lee, Yann-Hang (ACM Trans. Embed. Comput. Syst., 2016)

Planning in Dynamic Environments Through Temporal Logic Monitoring. - Hoxha, Bardh; Fainekos, Georgios (2016)

Modeling concurrency and reconfiguration in vehicular systems: A π-calculus approach. - Campbell, Joseph; Tuncali, Cumhur Erkan; Liu, Peng; Pavlic, Theodore P.; Özgüner, Ümit; Fainekos, Georgios (2016)

Traffic light status detection using movement patterns of vehicles. - Campbell, Joseph; Amor, Heni Ben; Ang, Marcelo H.; Fainekos, Georgios (2016)

Utilizing S-TaLiRo as an automatic test generation framework for autonomous vehicles. - Tuncali, Cumhur Erkan; Pavlic, Theodore P.; Fainekos, Georgios (2016)

An efficient algorithm for monitoring practical TPTL specifications. - Dokhanchi, Adel; Hoxha, Bardh; Tuncali, Cumhur Erkan; Fainekos, Georgios (2016)

Extended LTLvis motion planning interface. - Wei, Wei; Kim, Kangjin; Fainekos, Georgios (2016)

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC 2016, Vienna, Austria, April 12-14, 2016 (ACM, 2016)

Modeling Concurrency and Reconfiguration in Vehicular Systems: A $π$-calculus Approach. - Campbell, Joseph; Tuncali, Cumhur Erkan; Pavlic, Theodore P.; Fainekos, Georgios (CoRR, 2016)

Extended LTLvis Motion Planning interface (Extended Technical Report). - Wei, Wei; Kim, Kangjin; Fainekos, Georgios (CoRR, 2016)

Formal Requirement Elicitation and Debugging for Testing and Verification of Cyber-Physical Systems. - Dokhanchi, Adel; Hoxha, Bardh; Fainekos, Georgios (CoRR, 2016)

An Efficient Algorithm for Monitoring Practical TPTL Specifications. - Dokhanchi, Adel; Hoxha, Bardh; Tuncali, Cumhur Erkan; Fainekos, Georgios (CoRR, 2016)

On the minimal revision problem of specification automata. - Kim, Kangjin; Fainekos, Georgios; Sankaranarayanan, Sriram (Int. J. Robotics Res., 2015)

Automotive control design bug-finding with the S-TaLiRo tool. - Fainekos, Georgios (2015)

Beyond single shooting: Iterative approaches to falsification. - Deshmukh, Jyotirmoy V.; Fainekos, Georgios; Kapinski, James; Sankaranarayanan, Sriram; Zutshi, Aditya; Jin, Xiaoqing (2015)

DisCoF+: Asynchronous DisCoF with flexible decoupling for cooperative pathfinding in distributed systems. - Kim, Kangjin; Campbell, Joe; Duong, William; Zhang, Yu; Fainekos, Georgios (2015)

Requirements driven falsification with coverage metrics. - Dokhanchi, Adel; Zutshi, Aditya; Sriniva, Rahul T.; Sankaranarayanan, Sriram; Fainekos, Georgios (2015)

Automatic Parallelization of Simulink Models for Multi-core Architectures. - Tuncali, Cumhur Erkan; Fainekos, Georgios; Lee, Yann-Hang (2015)

VISPEC: A graphical tool for elicitation of MTL requirements. - Hoxha, Bardh; Mavridis, Nikolaos; Fainekos, Georgios (2015)

Metric interval temporal logic specification elicitation and debugging. - Dokhanchi, Adel; Hoxha, Bardh; Fainekos, Georgios (2015)

Towards a Verified Artificial Pancreas: Challenges and Solutions for Runtime Verification. - Cameron, Fraser; Fainekos, Georgios; Maahs, David M.; Sankaranarayanan, Sriram (2015)

DisCoF$^+$: Asynchronous DisCoF with Flexible Decoupling for Cooperative Pathfinding in Distributed Systems. - Kim, Kangjin; Campbell, Joe; Duong, William; Zhang, Yu; Fainekos, Georgios (CoRR, 2015)

ViSpec: A graphical tool for elicitation of MTL requirements. - Hoxha, Bardh; Mavridis, Nikolaos; Fainekos, Georgios (CoRR, 2015)

Towards composition of conformant systems. - Abbas, Houssam; Fainekos, Georgios (CoRR, 2015)

Querying Parametric Temporal Logic Properties in Model Based Design. - Hoxha, Bardh; Dokhanchi, Adel; Fainekos, Georgios (CoRR, 2015)

Functional gradient descent method for Metric Temporal Logic specifications. - Abbas, Houssam; Winn, Andrew K.; Fainekos, Georgios; Julius, A. Agung (2014)

Benchmarks for Temporal Logic Requirements for Automotive Systems. - Hoxha, Bardh; Abbas, Houssam; Fainekos, Georgios (2014)

Using S-TaLiRo on Industrial Size AuImmlertomotive Models. - Hoxha, Bardh; Abbas, Houssam; Fainekos, Georgios (2014)

DisCoF: Cooperative Pathfinding in Distributed Systems with Limited Sensing and Communication Range. - Zhang, Yu; Kim, Kangjin; Fainekos, Georgios (2014)

WiP abstract: Conformance testing as falsification for cyber-physical systems. - Abbas, Houssam; Hoxha, Bardh; Fainekos, Georgios; Deshmukh, Jyotirmoy V.; Kapinski, James; Ueda, Koichi (2014)

Revision of specification automata under quantitative preferences. - Kim, Kangjin; Fainekos, Georgios (2014)

Formal property verification in a conformance testing framework. - Abbas, Houssam; Mittelmann, Hans D.; Fainekos, Georgios (2014)

On-Line Monitoring for Temporal Logic Robustness. - Dokhanchi, Adel; Hoxha, Bardh; Fainekos, Georgios (2014)

Conformance Testing as Falsification for Cyber-Physical Systems. - Abbas, Houssam; Hoxha, Bardh; Fainekos, Georgios; Deshmukh, Jyotirmoy V.; Kapinski, James; Ueda, Koichi (CoRR, 2014)

Revision of Specification Automata under Quantitative Preferences. - Kim, Kangjin; Fainekos, Georgios (CoRR, 2014)

On the Minimal Revision Problem of Specification Automata. - Kim, Kangjin; Fainekos, Georgios; Sankaranarayanan, Sriram (CoRR, 2014)

On-Line Monitoring for Temporal Logic Robustness. - Dokhanchi, Adel; Hoxha, Bardh; Fainekos, Georgios (CoRR, 2014)

Probabilistic Temporal Logic Falsification of Cyber-Physical Systems. - Abbas, Houssam; Fainekos, Georgios; Sankaranarayanan, Sriram; Ivancic, Franjo; Gupta, Aarti (ACM Trans. Embed. Comput. Syst., 2013)

Computing descent direction of MTL robustness for non-linear systems. - Abbas, Houssam; Fainekos, Georgios (2013)

Minimal specification revision for weighted transition systems. - Kim, Kangjin; Fainekos, Georgios (2013)

A graphical language for LTL motion and mission planning. - Srinivas, Shashank; Kermani, Ramtin; Kim, Kangjin; Kobayashi, Yoshihiro; Fainekos, Georgios (2013)

Editorial: Special Section VCPSS'09. - Fainekos, Georgios; Goubault, Eric; Ivancic, Franjo; Sankaranarayanan, Sriram (ACM Trans. Embed. Comput. Syst., 2012)

Convergence proofs for Simulated Annealing falsification of safety properties. - Abbas, Houssam; Fainekos, Georgios (2012)

A model-based approach to synthesizing insulin infusion pump usage parameters for diabetic patients. - Sankaranarayanan, Sriram; Miller, Christopher; Raghunathan, Rangarajan; Ravanbakhsh, Hadi; Fainekos, Georgios (2012)

Verification of automotive control applications using S-TaLiRo. - Fainekos, Georgios E.; Sankaranarayanan, Sriram; Ueda, Koichi; Yazarel, Hakan (2012)

Simulating Insulin Infusion Pump Risks by In-Silico Modeling of the Insulin-Glucose Regulatory System. - Sankaranarayanan, Sriram; Fainekos, Georgios (2012)

Falsification of temporal properties of hybrid systems using the cross-entropy method. - Sankaranarayanan, Sriram; Fainekos, Georgios (2012)

On the revision problem of specification automata. - Kim, Kangjin; Fainekos, Georgios E.; Sankaranarayanan, Sriram (2012)

Approximate solutions for the minimal revision problem of specification automata. - Kim, Kangjin; Fainekos, Georgios (2012)

Querying Parametric Temporal Logic Properties on Embedded Systems. - Yang, Hengyi; Hoxha, Bardh; Fainekos, Georgios E. (2012)

Foreword. - Fainekos, Georgios; Goubault, Eric; Putot, Sylvie; Ratschan, Stefan (Math. Comput. Sci., 2011)

Linear Hybrid System Falsification through Local Search. - Abbas, Houssam; Fainekos, Georgios (2011)

Revising temporal logic specifications for motion planning. - Fainekos, Georgios E. (2011)

Towards modeling and analysis of cyber-physical medical systems. - Banerjee, Ayan; Gupta, Sandeep K. S.; Fainekos, Georgios; Varsamopoulos, Georgios (2011)

Combining Time and Frequency Domain Specifications for Periodic Signals. - Chakarov, Aleksandar; Sankaranarayanan, Sriram; Fainekos, Georgios (2011)

S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems. - Annpureddy, Yashwanth; Liu, Che; Fainekos, Georgios; Sankaranarayanan, Sriram (2011)

Linear Hybrid System Falsification Through Descent - Abbas, Houssam; Fainekos, Georgios (CoRR, 2011)

Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems. - Nghiem, Truong; Sankaranarayanan, Sriram; Fainekos, Georgios; Ivancic, Franjo; Gupta, Aarti; Pappas, George J. (2010)

Temporal logic motion planning for dynamic robots. - Fainekos, Georgios E.; Girard, Antoine; Kress-Gazit, Hadas; Pappas, George J. (Autom., 2009)

Robustness of temporal logic specifications for continuous-time signals. - Fainekos, Georgios E.; Pappas, George J. (Theor. Comput. Sci., 2009)

Temporal-Logic-Based Reactive Mission and Motion Planning. - Kress-Gazit, Hadas; Fainekos, Georgios E.; Pappas, George J. (IEEE Trans. Robotics, 2009)

MTL robust testing and verification for LPV systems. - Fainekos, Georgios E.; Pappas, George J. (2009)

Robustness of Model-Based Simulations. - Fainekos, Georgios; Sankaranarayanan, Sriram; Ivancic, Franjo; Gupta, Aarti (2009)

Translating Structured English to Robot Controllers. - Kress-Gazit, Hadas; Fainekos, Georgios E.; Pappas, George J. (Adv. Robotics, 2008)

Robust Sampling for MITL Specifications. - Fainekos, Georgios E.; Pappas, George J. (2007)

Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications. - Fainekos, Georgios E.; Girard, Antoine; Pappas, George J. (2007)

Robust Test Generation and Coverage for Hybrid Systems. - Julius, A. Agung; Fainekos, Georgios E.; Anand, Madhukar; Lee, Insup; Pappas, George J. (2007)

Where's Waldo? Sensor-Based Temporal Logic Motion Planning. - Kress-Gazit, Hadas; Fainekos, Georgios E.; Pappas, George J. (2007)

From structured english to robot motion. - Kress-Gazit, Hadas; Fainekos, Georgios E.; Pappas, George J. (2007)

Translating Temporal Logic to Controller Specifications. - Fainekos, Georgios E.; Loizou, Savvas G.; Pappas, George J. (2006)

Robustness of Temporal Logic Specifications. - Fainekos, Georgios E.; Pappas, George J. (2006)

Temporal Logic Verification Using Simulation. - Fainekos, Georgios E.; Girard, Antoine; Pappas, George J. (2006)

Hybrid Controllers for Path Planning: A Temporal Logic Approach. - Fainekos, Georgios E.; Kress-Gazit, Hadas; Pappas, George J. (2005)

Temporal Logic Motion Planning for Mobile Robots. - Fainekos, Georgios E.; Kress-Gazit, Hadas; Pappas, George J. (2005)

Experimental cooperative control of fixed-wing unmanned aerial vehicles. - Bayraktar, Selcuk; Fainekos, Georgios E.; Pappas, George J. (2004)