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

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)

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)

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)

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)

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

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

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

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

Vacuity aware falsification for MTL request-response specifications. - Adel Dokhanchi; Shakiba Yaghoubi; Bardh Hoxha; 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)

Formal Requirements-Driven Analysis of Cyber Physical Systems. - Bardh Hoxha (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)

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)

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)

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)

Application of Simulation-Based Methods on Autonomous Vehicle Control with Deep Neural Network: Work-in-Progress. - Yuji Date; Takeshi Baba; Bardh Hoxha; Tomoya Yamaguchi 001; Danil V. Prokhorov (EMSOFT, 2020)

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

Specification-guided Software Fault Localization for Autonomous Mobile Systems. - Tomoya Yamaguchi 001; Bardh Hoxha; Danil V. Prokhorov; Jyotirmoy V. Deshmukh (MEMOCODE, 2020)

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

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

Reachability analysis of deep ReLU neural networks using facet-vertex incidence. - Xiaodong Yang; Taylor T. Johnson; Hoang-Dung Tran; Tomoya Yamaguchi 001; Bardh Hoxha; Danil V. Prokhorov (HSCC, 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)

Discovering Physical Interaction Vulnerabilities in IoT Deployments. - Muslum Ozgur Ozmen; Xuansong Li; Andrew Chun-An Chu; Z. Berkay Celik; Bardh Hoxha; Xiangyu Zhang 001 (CoRR, 2021)

Reachability Analysis of Convolutional Neural Networks. - Xiaodong Yang; Tomoya Yamaguchi 001; Hoang-Dung Tran; Bardh Hoxha; Taylor T. Johnson; Danil V. Prokhorov (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)

Discovering IoT Physical Channel Vulnerabilities. - Muslum Ozgur Ozmen; Xuansong Li; Andrew Chu; Z. Berkay Celik; Bardh Hoxha; Xiangyu Zhang 001 (CCS, 2022)

Neural Network Repair with Reachability Analysis. - Xiaodong Yang; Tom Yamaguchi 001; Hoang-Dung Tran; Bardh Hoxha; Taylor T. Johnson; Danil V. Prokhorov (FORMATS, 2022)

Runtime Assurance for Autonomous Driving with Neural Reachability. - Sergiy Bogomolov; Abdelrahman Hekal; Bardh Hoxha; Tomoya Yamaguchi 001 (ITSC, 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)

Checkmate: Fault Timing Localization for Multi-Robot Scenarios. - Ippei Nishitani; Tomoya Yamaguchi 001; Bardh Hoxha (CASE, 2023)

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

Verification of Recurrent Neural Networks with Star Reachability. - Hoang-Dung Tran; Sung Woo Choi; Xiaodong Yang; Tomoya Yamaguchi 001; Bardh Hoxha; 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)

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)

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)

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)

RTAMT - Runtime Robustness Monitors with Application to CPS and Robotics. - Tomoya Yamaguchi 001; Bardh Hoxha; Dejan Nickovic (Int. J. Softw. Tools Technol. Transf., 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)

Fair-CoPlan: Negotiated Flight Planning with Fair Deconfliction for Urban Air Mobility. - Nicole Fronda; Phil Smith; Bardh Hoxha; Yash Pant; Houssam Abbas (CoRR, 2025)

FiReFly: Fair Distributed Receding Horizon Planning for Multiple UAVs. - Nicole Fronda; Bardh Hoxha; Houssam Abbas (CoRR, 2025)