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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Planning in Dynamic Environments Through Temporal Logic Monitoring. - Bardh Hoxha; Georgios Fainekos (AAAI Workshop: Planning for Hybrid Systems, 2016)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

LB4TL: A Smooth Semantics for Temporal Logic to Train Neural Feedback Controllers. - Navid Hashemi; Samuel Williams; Bardh Hoxha; Danil V. Prokhorov; Georgios Fainekos; Jyotirmoy Deshmukh (ADHS, 2024)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

STL-GO: Spatio-Temporal Logic with Graph Operators for Distributed Systems with Multiple Network Topologies. - Yiqi Zhao; Xinyi Yu; Bardh Hoxha; Georgios Fainekos; Jyotirmoy V. Deshmukh; Lars Lindemann (CoRR, 2025)

GPU-Accelerated Barrier-Rate Guided MPPI Control for Tractor-Trailer Systems. - Keyvan Majd; Hardik Parwana; Bardh Hoxha; Steven Hong; Hideki Okamoto; Georgios Fainekos (CoRR, 2025)