# Publications — Bardh Hoxha

Source: https://www.bhoxha.com/publications.bib

## Safety-aware Model Predictive Path Integral Control with Signal Temporal Logic

- Citation key: Zhao26-STLMPPI
- Authors: Yiqi Zhao; Taekyung Kim; Hideki Okamoto; Bardh Hoxha; Jyotirmoy V. Deshmukh; Lars Lindemann; Georgios Fainekos
- Year: 2026
- Type: preprint
- Venue: arXiv preprint arXiv:2608.23972, 2026
- Page: https://www.bhoxha.com/publications/Zhao26-STLMPPI/
- paper: https://arxiv.org/abs/2608.23972
- pdf: https://arxiv.org/pdf/2608.23972
- Topics: Optimal Planning and Safe Control; Barrier Function Methods

## Diffusion-Guided Search via Exponential Tilting (DiffTilt): An Application to Falsification of Safety-Critical Systems

- Citation key: Khandait26-DiffTilt
- Authors: Tanmay Khandait; Preetom Biswas; Hideki Okamoto; Bardh Hoxha; Georgios Fainekos; Giulia Pedrielli
- Year: 2026
- Type: conference
- Venue: International Conference on Embedded Software (EMSOFT), 2026
- Page: https://www.bhoxha.com/publications/Khandait26-DiffTilt/
- paper: https://arxiv.org/abs/2607.23134
- pdf: https://arxiv.org/pdf/2607.23134
- Topics: Testing; Falsification; and Specification; Learning-based Control and Analysis; Risk and Stochasticity

## FalconTrack: Photorealistic Auto-Labeled Perception and Physics-Aware Vision-Based Aerial Tracking

- Citation key: Miao26-FalconTrack
- Authors: Yan Miao; Karteek Gandiboyina; Noah Giles; Hideki Okamoto; Bardh Hoxha; Georgios Fainekos; Sayan Mitra
- Year: 2026
- Type: conference
- Venue: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2026
- Page: https://www.bhoxha.com/publications/Miao26-FalconTrack/
- paper: https://arxiv.org/abs/2606.29783
- pdf: https://arxiv.org/pdf/2606.29783
- Topics: Learning-based Control and Analysis; Autonomous Mobility and Planning

## Sample-Efficient Learning of Probabilistic Causes for Reachability in Markov Decision Processes with Probabilistic Guarantees

- Citation key: Oura26-CausalMDP
- Authors: Ryohei Oura; Georgios Fainekos; Hideki Okamoto; Bardh Hoxha
- Year: 2026
- Type: conference
- Venue: Conference on Uncertainty in Artificial Intelligence (UAI), 2026
- Page: https://www.bhoxha.com/publications/Oura26-CausalMDP/
- paper: https://arxiv.org/abs/2606.29681
- pdf: https://arxiv.org/pdf/2606.29681
- Topics: Risk and Stochasticity; Learning-based Control and Analysis; Verification and Reachability
- Award: Oral Presentation (Top 2%)

## Reinforcement Learning for Risk Adaptation via Differentiable CVaR Barrier Functions

- Citation key: Wang26-RLRiskCVaR
- Authors: Xinyi Wang; Taekyung Kim; Bardh Hoxha; Georgios Fainekos; Dimitra Panagou
- Year: 2026
- Type: preprint
- Venue: arXiv preprint arXiv:2605.21257, 2026
- Page: https://www.bhoxha.com/publications/Wang26-RLRiskCVaR/
- paper: https://arxiv.org/abs/2605.21257
- pdf: https://arxiv.org/pdf/2605.21257
- Topics: Risk and Stochasticity; Optimal Planning and Safe Control; Learning-based Control and Analysis

## Policy Library CBF: Finite-Horizon Safety at Runtime via Parallel Rollouts

- Citation key: Kim26-PolicyLibraryCBF
- Authors: Taekyung Kim; Hideki Okamoto; Bardh Hoxha; Georgios Fainekos; Dimitra Panagou
- Year: 2026
- Type: preprint
- Venue: arXiv preprint arXiv:2605.16588, 2026
- Page: https://www.bhoxha.com/publications/Kim26-PolicyLibraryCBF/
- paper: https://arxiv.org/abs/2605.16588
- pdf: https://arxiv.org/pdf/2605.16588
- Topics: Optimal Planning and Safe Control; Runtime Verification and Monitoring

## Vision-Based Runtime Monitoring under Varying Specifications using Semantic Latent Representations

- Citation key: Hoxha26-VisionRTM
- Authors: Bardh Hoxha; Oliver Schön; Hideki Okamoto; Lars Lindemann; Georgios Fainekos
- Year: 2026
- Type: preprint
- Venue: arXiv preprint arXiv:2605.13923, 2026
- Page: https://www.bhoxha.com/publications/Hoxha26-VisionRTM/
- paper: https://arxiv.org/abs/2605.13923
- pdf: https://arxiv.org/pdf/2605.13923
- Topics: Runtime Verification and Monitoring; Learning-based Control and Analysis

## Bayesian Risk-Aware CBFs for Discrete-Time Stochastic Systems with Learned Dynamics

- Citation key: Hoxha26-BRACBF
- Authors: Bardh Hoxha; Mitchell Black; Keyvan Majd; Hideki Okamoto; Georgios Fainekos; Danil Prokhorov
- Year: 2026
- Type: conference
- Venue: American Control Conference (ACC), 2026
- Page: https://www.bhoxha.com/publications/Hoxha26-BRACBF/
- pdf: https://www.bhoxha.com/papers/2026-acc-hoxha.pdf
- Topics: Risk and Stochasticity; Optimal Planning and Safe Control; Learning-based Control and Analysis

## Safe Model Predictive Diffusion with Shielding

- Citation key: Kim25-SafeMPD
- Authors: Taekyung Kim; Keyvan Majd; Bardh Hoxha; Hideki Okamoto; Dimitra Panagou; Georgios Fainekos
- Year: 2026
- Type: conference
- Venue: IEEE International Conference on Robotics and Automation (ICRA), 2026
- Page: https://www.bhoxha.com/publications/Kim25-SafeMPD/
- paper: https://arxiv.org/abs/2512.06261
- pdf: https://arxiv.org/pdf/2512.06261
- Topics: Optimal Planning and Safe Control; Learning-based Control and Analysis

## Performance-Guided Refinement for Visual Aerial Navigation using Editable Gaussian Splatting in FalconGym 2.0

- Citation key: Miao25-FalconGym
- Authors: Yan Miao; Ege Yuceel; Georgios Fainekos; Bardh Hoxha; Hideki Okamoto; Sayan Mitra
- Year: 2026
- Type: conference
- Venue: IEEE International Conference on Robotics and Automation (ICRA), 2026
- Page: https://www.bhoxha.com/publications/Miao25-FalconGym/
- paper: https://arxiv.org/abs/2510.02248
- pdf: https://arxiv.org/pdf/2510.02248
- Topics: Learning-based Control and Analysis; Autonomous Mobility and Planning

## Quantitative Verification of Learning-Enabled Systems using ProbStar Reachability

- Citation key: Li26
- Authors: Yuntao Li; Sung Woo Choi; Hideki Okamoto; Bardh Hoxha; Georgios Fainekos; Hoang-Dung Tran
- Year: 2026
- Type: journal
- Venue: Nonlinear Analysis: Hybrid Systems 2026
- Page: https://www.bhoxha.com/publications/Li26/
- paper: https://www.sciencedirect.com/science/article/abs/pii/S1751570X25000494
- Topics: Learning-based Control and Analysis; Verification and Reachability

## FiReFly: Fair Distributed Receding Horizon Planning for Multiple UAVs

- Citation key: Fronda26-Firefly
- Authors: Nathan Fronda; Bardh Hoxha; Houssam Abbas
- Year: 2026
- Type: conference
- Venue: IEEE Intelligent Transportation Systems Conference (ITSC), 2026
- Page: https://www.bhoxha.com/publications/Fronda26-Firefly/
- paper: https://arxiv.org/abs/2508.14381
- pdf: https://arxiv.org/pdf/2508.14381
- Topics: Multi-Agent Systems; Optimal Planning and Safe Control

## Fair-CoPlan: Negotiated Flight Planning with Fair Deconfliction for Urban Air Mobility

- Citation key: Fronda26-FairCoPlan
- Authors: Nathan Fronda; Peter Smith; Bardh Hoxha; Yash Pant; Houssam Abbas
- Year: 2026
- Type: conference
- Venue: IEEE Intelligent Transportation Systems Conference (ITSC), 2026
- Page: https://www.bhoxha.com/publications/Fronda26-FairCoPlan/
- paper: https://arxiv.org/abs/2508.14380
- pdf: https://arxiv.org/pdf/2508.14380
- Topics: Multi-Agent Systems; Autonomous Mobility and Planning

## Spatio-Temporal Grounding of Large Language Models from Perception Streams

- Citation key: Anderson25-STG
- Authors: Jacob Anderson; Bardh Hoxha; Georgios Fainekos; Hideki Okamoto; Danil V. Prokhorov
- Year: 2025
- Type: workshop
- Venue: NeurIPS 2025 Workshop on Space in Vision, Language, and Embodied AI
- Page: https://www.bhoxha.com/publications/Anderson25-STG/
- paper: https://arxiv.org/abs/2604.07592
- pdf: https://arxiv.org/pdf/2604.07592
- Topics: Runtime Verification and Monitoring; Learning-based Control and Analysis

## LogSTOP: Temporal Scores over Prediction Sequences for Matching and Retrieval

- Citation key: Anderson25-LogSTOP
- Authors: Avishree Khare; Hideki Okamoto; Bardh Hoxha; Georgios Fainekos; Rajeev Alur
- Year: 2025
- Type: preprint
- Venue: arXiv preprint, 2025
- Page: https://www.bhoxha.com/publications/Anderson25-LogSTOP/
- paper: https://arxiv.org/abs/2510.06512
- pdf: https://arxiv.org/pdf/2510.06512
- Topics: Runtime Verification and Monitoring; Learning-based Control and Analysis

## Scalable Multi-Agent Path Finding for Delivery Robot Systems with Temporal and Edge Capacity Constraints on Weighted Graphs

- Citation key: Yamaguchi25
- Authors: Tomoya Yamaguchi; Ippei Nishitani; Yusuke Ota; Bardh Hoxha; Georgios Fainekos
- Year: 2025
- Type: conference
- Venue: 2025 IEEE 21st International Conference on Automation Science and Engineering (CASE), 2025
- Page: https://www.bhoxha.com/publications/Yamaguchi25/
- paper: https://ieeexplore.ieee.org/abstract/document/11164139
- Topics: Multi-Agent Systems; Task Allocation and Path Planning

## GPU-Accelerated Barrier-Rate Guided MPPI Control for Tractor-Trailer Systems

- Citation key: Majd25
- Authors: Keyvan Majd; Hardik Parwana; Bardh Hoxha; Steven Hong; Hideki Okamoto; Georgios Fainekos
- Year: 2025
- Type: conference
- Venue: IEEE Intelligent Transportation Systems Conference (ITSC), 2025
- Page: https://www.bhoxha.com/publications/Majd25/
- paper: https://arxiv.org/abs/2508.05773
- pdf: https://arxiv.org/pdf/2508.05773
- Topics: Optimal Planning and Safe Control; Barrier Function Methods

## STL-GO: Spatio-Temporal Logic with Graph Operators for Distributed Systems with Multiple Network Topologies

- Citation key: Zhao25-STLGO
- Authors: Yiqi Zhao; Xinyi Yu; Bardh Hoxha; Georgios Fainekos; Jyotirmoy Deshmukh; Lars Lindemann
- Year: 2025
- Type: journal
- Venue: ACM Transactions on Embedded Computing Systems (TECS), 2025
- Page: https://www.bhoxha.com/publications/Zhao25-STLGO/
- paper: https://dl.acm.org/doi/pdf/10.1145/3760258
- Topics: Spatio-Temporal Logic; Distributed Systems and Networks

## Conformal Prediction in the Loop: Risk-Aware Control Barrier Functions for Stochastic Systems with Data-Driven State Estimators

- Citation key: Zhang25
- Authors: Jiaqi Zhang; Bardh Hoxha; Georgios Fainekos; Dimitra Panagou
- Year: 2025
- Type: journal
- Venue: IEEE Control Systems Letters, 2025
- Page: https://www.bhoxha.com/publications/Zhang25/
- pdf: https://www.bhoxha.com/papers/letters-zhang-2025.pdf
- Topics: Risk and Stochasticity; Optimal Planning and Safe Control

## ProbStar Temporal Logic for Verifying Complex Behaviors of Learning-enabled Systems

- Citation key: HSCC2025-probstar
- Authors: Hoang-Dung Tran; Sung Woo Choi; Yuntao Li; Hideki Okamoto; Bardh Hoxha; Georgios Fainekos
- Year: 2025
- Type: conference
- Venue: 28th ACM International Conference on Hybrid Systems: Computation and Control (HSCC), 2025
- Page: https://www.bhoxha.com/publications/HSCC2025-probstar/
- pdf: https://www.bhoxha.com/papers/hscc-tran-2025.pdf
- Topics: Runtime Verification and Monitoring; Learning-based Control and Analysis

## BR-MPPI: Barrier Rate guided MPPI for Enforcing Multiple Inequality Constraints with Learned Signed Distance Field

- Citation key: Parwana25
- Authors: Hardik Parwana; Taekyung Kim; Kehan Long; Bardh Hoxha; Hideki Okamoto; Georgios Fainekos; Dimitra Panagou
- Year: 2025
- Type: preprint
- Venue: arXiv:2506.07325, 2025
- Page: https://www.bhoxha.com/publications/Parwana25/
- paper: https://arxiv.org/abs/2506.07325
- pdf: https://arxiv.org/pdf/2506.07325
- Topics: Optimal Planning and Safe Control; Learning-based Control and Analysis

## StarV: A Qualitative and Quantitative Verification Tool for Learning-Enabled Systems

- Citation key: Tran25-CAV
- Authors: Hoang-Dung Tran; Sung Woo Choi; Yuntao Li; Qing Liu; Hideki Okamoto; Bardh Hoxha; Georgios Fainekos
- Year: 2025
- Type: conference
- Venue: International Conference on Computer Aided Verification (CAV), 2025
- Page: https://www.bhoxha.com/publications/Tran25-CAV/
- pdf: https://www.bhoxha.com/papers/2025_StarV.pdf
- Topics: Formal Methods and Verification; Learning-based Control and Analysis

## Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications

- Citation key: Zhao25
- Authors: Yiqi Zhao; Emily Zhu; Bardh Hoxha; Georgios Fainekos; Jyotirmoy V Deshmukh; Lars Lindemann
- Year: 2025
- Type: journal
- Venue: Transactions on Cyber-Physical Systems (TCPS), 2025
- Page: https://www.bhoxha.com/publications/Zhao25/
- paper: https://arxiv.org/abs/2504.02964
- pdf: https://arxiv.org/pdf/2504.02964
- Topics: Runtime Verification and Monitoring

## Safe Navigation in Uncertain Crowded Environments Using Risk Adaptive CVaR Barrier Functions

- Citation key: Wang25
- Authors: Xinyi Wang; Taekyung Kim; Bardh Hoxha; Georgios Fainekos; Dimitra Panagou
- Year: 2025
- Type: conference
- Venue: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2025
- Page: https://www.bhoxha.com/publications/Wang25/
- paper: https://arxiv.org/abs/2504.06513
- pdf: https://arxiv.org/pdf/2504.06513
- Topics: Motion Planning and Control

## Reachability Analysis of Recurrent Neural Networks

- Citation key: NAHS2025
- Authors: Sung Woo Choi; Yuntao Li; Xiaodong Yang; Tomoya Yamaguchi; Bardh Hoxha; Georgios Fainekos; Danil Prokhorov; Hoang-Dung Tran
- Year: 2025
- Type: journal
- Venue: Nonlinear Analysis: Hybrid Systems, 2025
- Page: https://www.bhoxha.com/publications/NAHS2025/
- paper: https://www.sciencedirect.com/science/article/abs/pii/S1751570X2500007X
- Topics: Learning-based Control and Analysis; Runtime Verification and Monitoring

## Scaling Learning-based Policy Optimization for Temporal Logic Tasks by Controller Network Dropout

- Citation key: TCPS2025
- Authors: Navid Hashemi; Bardh Hoxha; Danil Prokhorov; Georgios Fainekos; Jyotirmoy V Deshmukh
- Year: 2025
- Type: journal
- Venue: Transactions on Cyber-Physical Systems, 2025
- Page: https://www.bhoxha.com/publications/TCPS2025/
- paper: https://dl.acm.org/doi/full/10.1145/3696112
- Topics: Learning-based Control and Analysis

## Risk-aware MPPI for Stochastic Hybrid Systems

- Citation key: MPPI2024
- Authors: Hardik Parwana; Mitchell Black; Bardh Hoxha; Hideki Okamoto; Georgios Fainekos; Danil Prokhorov; Dimitra Panagou
- Year: 2025
- Type: conference
- Venue: American Control Conference, 2025
- Page: https://www.bhoxha.com/publications/MPPI2024/
- paper: https://ar5iv.org/pdf/2411.09198
- code: https://github.com/hardikparwana/social-navigation
- video: https://private-user-images.githubusercontent.com/19849515/371942037-c75edbed-d587-4282-b8d9-2c74940301af.mp4?jwt=eyJhbGciOiJIUzI1NiIsInR5cCI6IkpXVCJ9.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImtleSI6ImtleTUiLCJleHAiOjE3MzMzNTM0NDgsIm5iZiI6MTczMzM1MzE0OCwicGF0aCI6Ii8xOTg0OTUxNS8zNzE5NDIwMzctYzc1ZWRiZWQtZDU4Ny00MjgyLWI4ZDktMmM3NDk0MDMwMWFmLm1wND9YLUFtei1BbGdvcml0aG09QVdTNC1ITUFDLVNIQTI1NiZYLUFtei1DcmVkZW50aWFsPUFLSUFWQ09EWUxTQTUzUFFLNFpBJTJGMjAyNDEyMDQlMkZ1cy1lYXN0LTElMkZzMyUyRmF3czRfcmVxdWVzdCZYLUFtei1EYXRlPTIwMjQxMjA0VDIyNTkwOFomWC1BbXotRXhwaXJlcz0zMDAmWC1BbXotU2lnbmF0dXJlPWNjNDgyMzBlNzhhMjkzN2U2OGYwNGQ4ODc3YzVjNDNjZTUzODZjODZkMDhhNzVkYjQ4YzE2OGRmMzc0M2VjZjYmWC1BbXotU2lnbmVkSGVhZGVycz1ob3N0In0.i6mV0WsRAf8IyiRq4VRd3Yw5v7xznrUcIFOxzhcgnls
- Topics: Optimal Planning and Safe Control; Risk and Stochasticity

## Neural Configuration Distance Function for Continuum Robot Control

- Citation key: IROS2025
- Authors: Kehan Long; Hardik Parwana; Georgios Fainekos; Bardh Hoxha; Hideki Okamoto; Nikolay Atanasov
- Year: 2025
- Type: conference
- Venue: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2025
- Page: https://www.bhoxha.com/publications/IROS2025/
- paper: https://arxiv.org/abs/2409.13865
- pdf: https://arxiv.org/pdf/2409.13865
- code: https://github.com/cps-atlas/ndf-coroco
- Topics: Learning-based Control and Analysis; Optimal Planning and Safe Control

## MRTA-Sim: A Modular Simulator for Multi-Robot Allocation, Planning, and Control in Open-World Environments

- Citation key: Tuck25
- Authors: Victoria Marie Tuck; Hardik Parwana; Pei-Wei Chen; Georgios Fainekos; Bardh Hoxha; Hideki Okamoto; S Shankar Sastry; Sanjit A Seshia
- Year: 2025
- Type: preprint
- Venue: arXiv, 2025
- Page: https://www.bhoxha.com/publications/Tuck25/
- paper: https://arxiv.org/abs/2504.15418
- pdf: https://arxiv.org/pdf/2504.15418
- Topics: Optimal Planning and Safe Control

## From Dashcam Videos to Driving Simulations: Stress Testing Automated Vehicles Against Rare Events

- Citation key: AAAIw2024
- Authors: Yan Miao; Georgios Fainekos; Bardh Hoxha; Hideki Okamoto; Danil Prokhorov; Sayan Mitra
- Year: 2025
- Type: conference
- Venue: Machine Learning for Autonomous Driving - AAAI, 2025
- Page: https://www.bhoxha.com/publications/AAAIw2024/
- paper: https://ar5iv.org/pdf/2411.16027
- Topics: Testing; Falsification; and Specification

## Feasible Space Monitoring for Multiple Control Barrier Functions with application to Large Scale Indoor Navigation

- Citation key: parwana2025feasible
- Authors: Hardik Parwana; Mitchell Black; Bardh Hoxha; Hideki Okamoto; Georgios Fainekos; Danil Prokhorov; Dimitra Panagou
- Year: 2025
- Type: conference
- Venue: IEEE Conference on Control Technology and Applications (CCTA), 2025
- Page: https://www.bhoxha.com/publications/parwana2025feasible/
- pdf: https://ar5iv.org/pdf/2312.07803.pdf
- Topics: Runtime Verification and Monitoring; Optimal Planning and Safe Control

## Querying Perception Streams with Spatial Regular Expressions

- Citation key: STTT2024
- Authors: Jacob Anderson; Georgios Fainekos; Bardh Hoxha; Hideki Okamoto; Danil Prokhorov
- Year: 2024
- Type: journal
- Venue: Software Tools for Technology Transfer, 2024
- Page: https://www.bhoxha.com/publications/STTT2024/
- paper: https://arxiv.org/abs/2411.05946
- pdf: https://arxiv.org/pdf/2411.05946
- code: https://github.com/cps-atlas/strem
- Topics: Runtime Verification and Monitoring

## Model Predictive Path Integral Methods with Reach-Avoid Tasks and Control Barrier Functions

- Citation key: TSA2024
- Authors: Hardik Parwana; Mitchell Black; Georgios Fainekos; Bardh Hoxha; Hideki Okamoto; Danil Prokhorov
- Year: 2024
- Type: conference
- Venue: Towards Safe Autonomy: Emerging Requirements, Definitions, and Methods, July 2024
- Page: https://www.bhoxha.com/publications/TSA2024/
- pdf: https://www.bhoxha.com/papers/rss-tsa24.pdf
- code: https://github.com/bardhh/cbfkit/tree/mppi-extension
- Topics: Optimal Planning and Safe Control

## Scaling Learning-based Policy Optimization for Temporal Logic Tasks by Controller Network Dropout

- Citation key: TCPS2024
- Authors: Navid Hashemi; Bardh Hoxha; Danil Prokhorov; Georgios Fainekos; Jyotirmoy Deshmukh
- Year: 2024
- Type: journal
- Venue: ACM Transactions on Cyber-Physical Systems, 2024
- Page: https://www.bhoxha.com/publications/TCPS2024/
- paper: https://ar5iv.org/pdf/2403.15826
- Topics: Learning-based Control and Analysis

## LB4TL: Smooth Semantics for Temporal Logic for Scalable Training of Neural Feedback Controllers

- Citation key: ADHS2024
- Authors: Navid Hashemi; Sam Williams; Bardh Hoxha; Danil Prokhorov; Georgios Fainekos; Jyotirmoy Deshmukh
- Year: 2024
- Type: conference
- Venue: The 8th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), July 2024
- Page: https://www.bhoxha.com/publications/ADHS2024/
- pdf: https://www.bhoxha.com/papers/adhs2024.pdf
- Topics: Learning-based Control and Analysis

## Optimal Planning for Timed Partial Order Specifications

- Citation key: ICRA2024
- Authors: Kandai Watanabe; Georgios Fainekos; Bardh Hoxha; Morteza Lahijanian; Hideki Okamoto; Sriram Sankaranarayanan
- Year: 2024
- Type: conference
- Venue: 2024 IEEE International Conference on Robotics and Automation (ICRA), May 2024
- Page: https://www.bhoxha.com/publications/ICRA2024/
- pdf: https://www.bhoxha.com/papers/ICRA2024_TPO_Optim.pdf
- video: https://urldefense.com/v3/__https://youtu.be/_1YuUj3fuV0__;!!B-Wf7dNC-A!5CIko1U7kCI5jujQiVV1HtZI-Uq_oGFOKbLDehVNRaHPbHPG9oKc8gij9jt_sx9NLJuwdSaXyX8uqHNjqnA3e0PkqzwtENDbdA$
- Topics: Optimal Planning and Safe Control

## CBFKit: A Control Barrier Function Toolbox for Robotics Applications

- Citation key: IROS2024
- Authors: Mitchell Black; Georgios Fainekos; Bardh Hoxha; Hideki Okamoto; Danil Prokhorov
- Year: 2024
- Type: conference
- Venue: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2024
- Page: https://www.bhoxha.com/publications/IROS2024/
- paper: https://ar5iv.org/abs/2404.07158
- code: https://github.com/bardhh/cbfkit
- Topics: Optimal Planning and Safe Control

## Risk-Aware Fixed-Time Stabilization of Stochastic Systems under Measurement Uncertainty

- Citation key: ACC2024
- Authors: Mitchell Black; Georgios Fainekos; Bardh Hoxha; Dimitra Panagou
- Year: 2024
- Type: conference
- Venue: American Control Conference (ACC), 2024
- Page: https://www.bhoxha.com/publications/ACC2024/
- paper: https://ar5iv.org/abs/2403.20258
- Topics: Optimal Planning and Safe Control; Risk and Stochasticity

## SMT-Based Dynamic Multi-Robot Task Allocation

- Citation key: NFM\_2024
- Authors: Victoria Marie Tuck; Pei-Wei Chen; Georgios Fainekos; Bardh Hoxha; Hideki Okamoto; S Shankar Sastry; Sanjit A Seshia
- Year: 2024
- Type: conference
- Venue: NASA Formal Methods (NFM), 2024
- Page: https://www.bhoxha.com/publications/NFM_2024/
- paper: https://arxiv.org/abs/2403.11737
- pdf: https://arxiv.org/pdf/2403.11737
- code: https://github.com/victoria-tuck/SMrTa
- Topics: Optimal Planning and Safe Control

## Safe Control Synthesis for Hybrid Systems through Local Control Barrier Functions

- Citation key: yang2023safe
- Authors: Shuo Yang; Mitchell Black; Georgios Fainekos; Bardh Hoxha; Hideki Okamoto; Rahul Mangharam
- Year: 2024
- Type: conference
- Venue: American Control Conference (ACC), 2024
- Page: https://www.bhoxha.com/publications/yang2023safe/
- pdf: https://www.bhoxha.com/papers/acc2024.pdf
- Topics: Optimal Planning and Safe Control

## Robust Conformal Prediction for STL Runtime Verification under Distribution Shift

- Citation key: zhao2023robust
- Authors: Yiqi Zhao; Bardh Hoxha; Georgios Fainekos; Jyotirmoy V Deshmukh; Lars Lindemann
- Year: 2024
- Type: conference
- Venue: ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), 2024
- Page: https://www.bhoxha.com/publications/zhao2023robust/
- pdf: https://www.bhoxha.com/papers/ICCPS2024.pdf
- Topics: Runtime Verification and Monitoring; Risk and Stochasticity
- Award: Finalist for Best Paper Award

## Formalizing and Evaluating Requirements of Perception Systems for Automated Vehicles using Spatio-Temporal Perception Logic

- Citation key: hekmatnejad2022formalizing
- Authors: Mohammad Hekmatnejad; Bardh Hoxha; Jyotirmoy V Deshmukh; Yezhou Yang; Georgios Fainekos
- Year: 2024
- Type: journal
- Venue: International Journal of Robotics Research (IJRR), 2024
- Page: https://www.bhoxha.com/publications/hekmatnejad2022formalizing/
- paper: https://arxiv.org/abs/2206.14372
- pdf: https://arxiv.org/pdf/2206.14372
- Topics: Testing; Falsification; and Specification

## Pattern Matching for Perception Streams

- Citation key: anderson2023pattern
- Authors: Jacob Anderson; Georgios Fainekos; Bardh Hoxha; Hideki Okamoto; Danil Prokhorov
- Year: 2023
- Type: conference
- Venue: International Conference on Runtime Verification
- Page: https://www.bhoxha.com/publications/anderson2023pattern/
- pdf: https://www.bhoxha.com/papers/RV2023.pdf
- code: https://github.com/strem-org
- Topics: Runtime Verification and Monitoring
- Award: Finalist for Best Paper Award

## RTAMT – Runtime Robustness Monitors with Application to CPS and Robotics

- Citation key: STTT2023
- Authors: Tomoya Yamaguchi; Bardh Hoxha; Dejan Ničković
- Year: 2023
- Type: journal
- Venue: International Journal on Software Tools for Technology Transfer (STTT), 2023
- Page: https://www.bhoxha.com/publications/STTT2023/
- pdf: https://www.bhoxha.com/papers/rtamt2023.pdf
- code: https://github.com/nickovic/rtamt
- Topics: Runtime Verification and Monitoring

## Checkmate: Fault Timing Localization for Multi-Robot Scenarios

- Citation key: nishitani2023checkmate
- Authors: Ippei Nishitani; Tomoya Yamaguchi; Bardh Hoxha
- Year: 2023
- Type: conference
- Venue: 2023 IEEE 19th International Conference on Automation Science and Engineering (CASE)
- Page: https://www.bhoxha.com/publications/nishitani2023checkmate/
- pdf: https://www.bhoxha.com/papers/CASE2023.pdf
- Topics: Runtime Verification and Monitoring

## Quantitative Verification for Neural Networks using ProbStars

- Citation key: tran2023quantitative
- Authors: Hoang-Dung Tran; Sungwoo Choi; Hideki Okamoto; Bardh Hoxha; Georgios Fainekos; Danil Prokhorov
- Year: 2023
- Type: conference
- Venue: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control
- Page: https://www.bhoxha.com/publications/tran2023quantitative/
- pdf: https://www.bhoxha.com/papers/HSCC2023ProbStars.pdf
- code: https://github.com/V2A2/StarV
- Topics: Learning-based Control and Analysis; Risk and Stochasticity

## Verification of Recurrent Neural Networks with Star Reachability

- Citation key: tran2023verification
- Authors: Hoang Dung Tran; Sung Woo Choi; Xiaodong Yang; Tomoya Yamaguchi; Bardh Hoxha; Danil Prokhorov
- Year: 2023
- Type: conference
- Venue: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control
- Page: https://www.bhoxha.com/publications/tran2023verification/
- pdf: https://www.bhoxha.com/papers/HSCC2023RNNVer.pdf
- code: https://github.com/verivital/nnv
- Topics: Learning-based Control and Analysis

## A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems

- Citation key: ICCPS2023
- Authors: Navid Hashemi; Bardh Hoxha; Tomoya Yamaguchi; Danil Prokhorov; Geogios Fainekos; Jyotirmoy Deshmukh
- Year: 2023
- Type: conference
- Venue: ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), 2023
- Page: https://www.bhoxha.com/publications/ICCPS2023/
- paper: https://arxiv.org/abs/2303.05394
- pdf: https://arxiv.org/pdf/2303.05394
- Topics: Learning-based Control and Analysis

## Risk-awareness in learning neural controllers for temporal logic objectives

- Citation key: hashemi2023risk
- Authors: Navid Hashemi; Xin Qin; Jyotirmoy V Deshmukh; Georgios Fainekos; Bardh Hoxha; Danil Prokhorov; Tomoya Yamaguchi
- Year: 2023
- Type: conference
- Venue: 2023 American Control Conference (ACC)
- Page: https://www.bhoxha.com/publications/hashemi2023risk/
- paper: https://ar5iv.org/abs/2210.07439
- Topics: Learning-based Control and Analysis; Risk and Stochasticity

## Timed partial order inference algorithm

- Citation key: watanabe2023timed
- Authors: Kandai Watanabe; Georgios Fainekos; Bardh Hoxha; Morteza Lahijanian; Danil Prokhorov; Sriram Sankaranarayanan; Tomoya Yamaguchi
- Year: 2023
- Type: conference
- Venue: Proceedings of the International Conference on Automated Planning and Scheduling
- Page: https://www.bhoxha.com/publications/watanabe2023timed/
- paper: https://ar5iv.org/pdf/2302.02501
- code: https://github.com/watakandai/tpossp
- Topics: Testing; Falsification; and Specification

## Safety Under Uncertainty: Tight Bounds with Risk-Aware Control Barrier Functions

- Citation key: black2023safety
- Authors: Mitchell Black; Georgios Fainekos; Bardh Hoxha; Danil Prokhorov; Dimitra Panagou
- Year: 2023
- Type: conference
- Venue: IEEE International Conference on Robotics and Automation (ICRA), 2023
- Page: https://www.bhoxha.com/publications/black2023safety/
- paper: https://ar5iv.org/abs/2304.01040
- Topics: Risk and Stochasticity; Optimal Planning and Safe Control

## Discovering physical interaction vulnerabilities in IoT deployments

- Citation key: ozmen2021discovering
- Authors: Muslum Ozgur Ozmen; Xuansong Li; Andrew Chun-An Chu; Z Berkay Celik; Bardh Hoxha; Xiangyu Zhang
- Year: 2022
- Type: conference
- Venue: ACM SIGSAC Conference on Computer and Communications Security (CCS), 2022
- Page: https://www.bhoxha.com/publications/ozmen2021discovering/
- paper: https://ar5iv.org/pdf/2102.01812
- Topics: Testing; Falsification; and Specification

## Safety Verification and Repair of Deep Neural Networks

- Citation key: WFML2022
- Authors: Xiaodong Yang; Tomoya Yamaguchi; Bardh Hoxha; Danil Prokhorov; Taylor T Johnson
- Year: 2022
- Type: workshop
- Venue: Workshop on Formal Verification of Machine Learning (WFVML), 2022
- Page: https://www.bhoxha.com/publications/WFML2022/
- pdf: http://www.bhoxha.com/papers/WFML2022.pdf
- video: https://slideslive.com/38985959
- Topics: Learning-based Control and Analysis

## Runtime Assurance for Autonomous Driving with Neural Reachability

- Citation key: bogomolov2022runtime
- Authors: Sergiy Bogomolov; Abdelrahman Hekal; Bardh Hoxha; Tomoya Yamaguchi
- Year: 2022
- Type: conference
- Venue: 2022 IEEE 25th International Conference on Intelligent Transportation Systems (ITSC)
- Page: https://www.bhoxha.com/publications/bogomolov2022runtime/
- pdf: http://www.bhoxha.com/papers/ITSC2022.pdf
- Topics: Runtime Verification and Monitoring; Learning-based Control and Analysis

## Neural network repair with reachability analysis

- Citation key: yang2022neural
- Authors: Xiaodong Yang; Tom Yamaguchi; Hoang-Dung Tran; Bardh Hoxha; Taylor T Johnson; Danil Prokhorov
- Year: 2022
- Type: conference
- Venue: International Conference on Formal Modeling and Analysis of Timed Systems
- Page: https://www.bhoxha.com/publications/yang2022neural/
- paper: https://arxiv.org/abs/2108.04214
- pdf: https://arxiv.org/pdf/2108.04214
- code: https://github.com/Shaddadi/veritex
- Topics: Learning-based Control and Analysis
- Award: Best Software Artifact Award

## Risk-bounded control with kalman filtering and stochastic barrier functions

- Citation key: yaghoubi2021risk
- Authors: Shakiba Yaghoubi; Georgios Fainekos; Tomoya Yamaguchi; Danil Prokhorov; Bardh Hoxha
- Year: 2021
- Type: conference
- Venue: 2021 60th IEEE Conference on Decision and Control (CDC)
- Page: https://www.bhoxha.com/publications/yaghoubi2021risk/
- paper: https://arxiv.org/abs/2112.14912
- pdf: https://arxiv.org/pdf/2112.14912
- Topics: Optimal Planning and Safe Control; Risk and Stochasticity

## PerceMon: online monitoring for perception systems

- Citation key: balakrishnan2021percemon
- Authors: Anand Balakrishnan; Jyotirmoy Deshmukh; Bardh Hoxha; Tomoya Yamaguchi; Georgios Fainekos
- Year: 2021
- Type: conference
- Venue: Runtime Verification: 21st International Conference, RV 2021, Virtual Event, October 11--14, 2021, Proceedings 21
- Page: https://www.bhoxha.com/publications/balakrishnan2021percemon/
- paper: https://arxiv.org/abs/2108.08289
- pdf: https://arxiv.org/pdf/2108.08289
- code: https://github.com/anand-bala/PerceMon
- Topics: Runtime Verification and Monitoring

## Safe navigation in human occupied environments using sampling and control barrier functions

- Citation key: majd2021safe
- Authors: Keyvan Majd; Shakiba Yaghoubi; Tomoya Yamaguchi; Bardh Hoxha; Danil Prokhorov; Georgios Fainekos
- Year: 2021
- Type: conference
- Venue: 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
- Page: https://www.bhoxha.com/publications/majd2021safe/
- paper: https://arxiv.org/abs/2105.01204
- pdf: https://arxiv.org/pdf/2105.01204
- Topics: Optimal Planning and Safe Control

## Reachability analysis of deep ReLU neural networks using facet-vertex incidence

- Citation key: yang2021reachability
- Authors: Xiaodong Yang; Taylor T Johnson; Hoang-Dung Tran; Tomoya Yamaguchi; Bardh Hoxha; Danil V Prokhorov
- Year: 2021
- Type: conference
- Venue: HSCC
- Page: https://www.bhoxha.com/publications/yang2021reachability/
- pdf: http://www.bhoxha.com/papers/HSCC2021.pdf
- code: https://github.com/Shaddadi/veritex
- Topics: Learning-based Control and Analysis

## Risk-bounded control using stochastic barrier functions

- Citation key: yaghoubi2020risk
- Authors: Shakiba Yaghoubi; Keyvan Majd; Georgios Fainekos; Tomoya Yamaguchi; Danil Prokhorov; Bardh Hoxha
- Year: 2020
- Type: journal
- Venue: IEEE Control Systems Letters
- Page: https://www.bhoxha.com/publications/yaghoubi2020risk/
- pdf: http://www.bhoxha.com/papers/LCSS2020.pdf
- Topics: Risk and Stochasticity; Optimal Planning and Safe Control

## Search-based test-case generation by monitoring responsibility safety rules

- Citation key: hekmatnejad2020search
- Authors: Mohammad Hekmatnejad; Bardh Hoxha; Georgios Fainekos
- Year: 2020
- Type: conference
- Venue: 2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC)
- Page: https://www.bhoxha.com/publications/hekmatnejad2020search/
- pdf: http://www.bhoxha.com/papers/ITSC2020.pdf
- Topics: Testing; Falsification; and Specification

## Specification-guided software fault localization for autonomous mobile systems

- Citation key: yamaguchi2020specification
- Authors: Tomoya Yamaguchi; Bardh Hoxha; Danil Prokhorov; Jyotirmoy V Deshmukh
- Year: 2020
- Type: conference
- Venue: 2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)
- Page: https://www.bhoxha.com/publications/yamaguchi2020specification/
- pdf: http://www.bhoxha.com/papers/MEMOCODE2020.pdf
- Topics: Runtime Verification and Monitoring

## Application of Simulation-Based Methods on Autonomous Vehicle Control with Deep Neural Network: Work-in-Progress

- Citation key: date2020application
- Authors: Yuji Date; Takeshi Baba; Bardh Hoxha; Tomoya Yamaguchi; Danil Prokhorov
- Year: 2020
- Type: conference
- Venue: 2020 International Conference on Embedded Software (EMSOFT)
- Page: https://www.bhoxha.com/publications/date2020application/
- pdf: http://www.bhoxha.com/papers/EMSOFT2020.pdf
- Topics: Testing; Falsification; and Specification; Learning-based Control and Analysis

## Tltk: A toolbox for parallel robustness computation of temporal logic specifications

- Citation key: cralley2020tltk
- Authors: Joseph Cralley; Ourania Spantidi; Bardh Hoxha; Georgios Fainekos
- Year: 2020
- Type: conference
- Venue: Runtime Verification: 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6--9, 2020, Proceedings 20
- Page: https://www.bhoxha.com/publications/cralley2020tltk/
- pdf: http://www.bhoxha.com/papers/RV2020.pdf
- code: https://bitbucket.org/versyslab/tltk/src/master/
- Topics: Runtime Verification and Monitoring; Testing; Falsification; and Specification

## Robustness of specifications and its applications to falsification, parameter mining, and runtime monitoring with s-taliro

- Citation key: fainekos2019robustness
- Authors: Georgios Fainekos; Bardh Hoxha; Sriram Sankaranarayanan
- Year: 2019
- Type: conference
- Venue: Runtime Verification: 19th International Conference, RV 2019, Porto, Portugal, October 8--11, 2019, Proceedings 19
- Page: https://www.bhoxha.com/publications/fainekos2019robustness/
- pdf: http://www.bhoxha.com/papers/RV2019.pdf
- code: https://sites.google.com/a/asu.edu/s-taliro/s-taliro
- Topics: Testing; Falsification; and Specification; Runtime Verification and Monitoring

## Experience report: Application of falsification methods on the UxAS system

- Citation key: tuncali2018experience
- Authors: Cumhur Erkan Tuncali; Bardh Hoxha; Guohui Ding; Georgios Fainekos; Sriram Sankaranarayanan
- Year: 2018
- Type: conference
- Venue: NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings 10
- Page: https://www.bhoxha.com/publications/tuncali2018experience/
- pdf: http://www.bhoxha.com/papers/NFM2018.pdf
- Topics: Testing; Falsification; and Specification

## Mission planning for multiple vehicles with temporal specifications using UxAS

- Citation key: nguyen2018mission
- Authors: Luan V Nguyen; Bardh Hoxha; Taylor T Johnson; Georgios Fainekos
- Year: 2018
- Type: journal
- Venue: IFAC-PapersOnLine
- Page: https://www.bhoxha.com/publications/nguyen2018mission/
- pdf: http://www.bhoxha.com/papers/adhs2018.pdf
- Topics: Optimal Planning and Safe Control

## Formal requirement debugging for testing and verification of cyber-physical systems

- Citation key: dokhanchi2017formal
- Authors: Adel Dokhanchi; Bardh Hoxha; Georgios Fainekos
- Year: 2017
- Type: journal
- Venue: ACM Transactions on Embedded Computing Systems (TECS)
- Page: https://www.bhoxha.com/publications/dokhanchi2017formal/
- pdf: http://www.bhoxha.com/papers/TECS2017.pdf
- Topics: Testing; Falsification; and Specification

## Vacuity aware falsification for MTL request-response specifications

- Citation key: dokhanchi2017vacuity
- Authors: Adel Dokhanchi; Shakiba Yaghoubi; Bardh Hoxha; Georgios Fainekos
- Year: 2017
- Type: conference
- Venue: 2017 13th IEEE Conference on Automation Science and Engineering (CASE)
- Page: https://www.bhoxha.com/publications/dokhanchi2017vacuity/
- pdf: http://www.bhoxha.com/papers/CASE2017.pdf
- Topics: Testing; Falsification; and Specification

## Mining parametric temporal logic properties in model-based design for cyber-physical systems

- Citation key: hoxha2017mining
- Authors: Bardh Hoxha; Adel Dokhanchi; Georgios Fainekos
- Year: 2017
- Type: journal
- Venue: International Journal on Software Tools for Technology
- Page: https://www.bhoxha.com/publications/hoxha2017mining/
- paper: http://rdcu.be/o1h0
- Topics: Testing; Falsification; and Specification

## An efficient algorithm for monitoring practical TPTL specifications

- Citation key: dokhanchi2016efficient
- Authors: Adel Dokhanchi; Bardh Hoxha; Cumhur Erkan Tuncali; Georgios Fainekos
- Year: 2016
- Type: conference
- Venue: 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)
- Page: https://www.bhoxha.com/publications/dokhanchi2016efficient/
- pdf: http://www.bhoxha.com/papers/Memocode2016_CameraReady.pdf
- Topics: Runtime Verification and Monitoring

## Pareto front exploration for parametric temporal logic specifications of cyber-physical systems

- Citation key: hoxha2016pareto
- Authors: Bardh Hoxha; Georgios Fainekos
- Year: 2016
- Type: workshop
- Venue: Workshop on Monitoring and Testing of Cyber-Physical Systems
- Page: https://www.bhoxha.com/publications/hoxha2016pareto/
- pdf: http://www.bhoxha.com/papers/MTCPS16_1.pdf
- Topics: Testing; Falsification; and Specification

## MITL specification debugging for monitoring of cyber-physical systems

- Citation key: dokhanchi2016mitl
- Authors: Adel Dokhanchi; Bardh Hoxha; Georgios Fainekos
- Year: 2016
- Type: conference
- Venue: Electronic Proceedings in Theoretical Computer Science, EPTCS
- Page: https://www.bhoxha.com/publications/dokhanchi2016mitl/
- pdf: http://www.bhoxha.com/papers/MTCPS16_2.pdf
- Topics: Testing; Falsification; and Specification

## Planning in Dynamic Environments Through Temporal Logic Monitoring

- Citation key: hoxha2016planning
- Authors: Bardh Hoxha; Georgios Fainekos
- Year: 2016
- Type: workshop
- Venue: AAAI Workshop: Planning for Hybrid Systems
- Page: https://www.bhoxha.com/publications/hoxha2016planning/
- pdf: http://www.bhoxha.com/papers/PlanHS16.pdf
- Topics: Optimal Planning and Safe Control; Runtime Verification and Monitoring

## Metric interval temporal logic specification elicitation and debugging

- Citation key: dokhanchi2015metric
- Authors: Adel Dokhanchi; Bardh Hoxha; Georgios Fainekos
- Year: 2015
- Type: conference
- Venue: 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE)
- Page: https://www.bhoxha.com/publications/dokhanchi2015metric/
- pdf: http://www.bhoxha.com/papers/memocode2015.pdf
- Topics: Testing; Falsification; and Specification

## VISPEC: A graphical tool for elicitation of MTL requirements

- Citation key: hoxha2015vispec
- Authors: Bardh Hoxha; Nikolaos Mavridis; Georgios Fainekos
- Year: 2015
- Type: conference
- Venue: 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
- Page: https://www.bhoxha.com/publications/hoxha2015vispec/
- pdf: http://www.bhoxha.com/papers/iros2015.pdf
- Topics: Testing; Falsification; and Specification

## Towards formal specification visualization for testing and monitoring of cyber-physical systems

- Citation key: hoxha2014towards
- Authors: Bardh Hoxha; Hoang Bach; Houssam Abbas; Adel Dokhanchi; Yoshihiro Kobayashi; Georgios Fainekos
- Year: 2014
- Type: workshop
- Venue: Int. Workshop on Design and Implementation of Formal Tools and Systems
- Page: https://www.bhoxha.com/publications/hoxha2014towards/
- pdf: http://www.bhoxha.com/papers/DIFTS2014.pdf
- Topics: Testing; Falsification; and Specification; Runtime Verification and Monitoring

## On-line monitoring for temporal logic robustness

- Citation key: dokhanchi2014line
- Authors: Adel Dokhanchi; Bardh Hoxha; Georgios Fainekos
- Year: 2014
- Type: conference
- Venue: International Conference on Runtime Verification
- Page: https://www.bhoxha.com/publications/dokhanchi2014line/
- pdf: http://www.bhoxha.com/papers/rv2014tech.pdf
- Topics: Runtime Verification and Monitoring

## Conformance testing as falsification for cyber-physical systems

- Citation key: abbas2014conformance
- Authors: Houssam Abbas; Bardh Hoxha; Georgios Fainekos; Jyotirmoy V Deshmukh; James Kapinski; Koichi Ueda
- Year: 2014
- Type: preprint
- Venue: arXiv preprint arXiv:1401.5200
- Page: https://www.bhoxha.com/publications/abbas2014conformance/
- paper: https://arxiv.org/abs/1401.5200
- pdf: https://arxiv.org/pdf/1401.5200
- Topics: Testing; Falsification; and Specification

## WiP Abstract: Conformance Testing as Falsification for Cyber-Physical Systems

- Citation key: iccps2014wip
- Authors: H. Abbas; B. Hoxha; G. Fainekos; J. V. Deshmukh; J. Kapinski; K. Ueda
- Year: 2014
- Type: conference
- Venue: ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Berlin, Germany, April 2014
- Page: https://www.bhoxha.com/publications/iccps2014wip/
- pdf: http://www.bhoxha.com/papers/iccps2014wip.pdf
- Topics: Testing; Falsification; and Specification

## Robustness-guided temporal logic testing and verification for stochastic cyber-physical systems

- Citation key: abbas2014robustness
- Authors: Houssam Abbas; Bardh Hoxha; Georgios Fainekos; Koichi Ueda
- Year: 2014
- Type: conference
- Venue: The 4th Annual IEEE International Conference on Cyber Technology in Automation, Control and Intelligent
- Page: https://www.bhoxha.com/publications/abbas2014robustness/
- pdf: http://www.bhoxha.com/papers/Cyber2014.pdf
- Topics: Testing; Falsification; and Specification; Risk and Stochasticity
- Award: Finalist for best student paper award

## Using S-TaLiRo on industrial size automotive models

- Citation key: hoxha2014using
- Authors: Bardh Hoxha; Houssam Abbas; Georgios Fainekos
- Year: 2014
- Type: conference
- Venue: Proc. of Applied Verification for Continuous and Hybrid Systems
- Page: https://www.bhoxha.com/publications/hoxha2014using/
- pdf: http://www.bhoxha.com/papers/arch2014exp.pdf
- Topics: Testing; Falsification; and Specification

## System Testing with S-TaLiRo: Recent Functionality and Additions

- Citation key: hoxhasystem
- Authors: Bardh Hoxha; Adel Dokhanchi; Georgios Fainekos
- Year: 2014
- Type: conference
- Venue: ACM International Conference on Hybrid Systems: Computation and Control (HSCC), 2014
- Page: https://www.bhoxha.com/publications/hoxhasystem/
- pdf: http://www.bhoxha.com/papers/hscc2014.pdf
- Topics: Testing; Falsification; and Specification

## Querying parametric temporal logic properties on embedded systems

- Citation key: yang2012querying
- Authors: Hengyi Yang; Bardh Hoxha; Georgios Fainekos
- Year: 2012
- Type: conference
- Venue: IFIP International Conference on Testing Software and Systems
- Page: https://www.bhoxha.com/publications/yang2012querying/
- pdf: http://www.bhoxha.com/papers/ictss2012.pdf
- Topics: Testing; Falsification; and Specification

## ARCH-COMP18 Category Report: Results on the Falsification Benchmarks

- Citation key: dokhanchi2018arch
- Authors: Adel Dokhanchi; Shakiba Yaghoubi; Bardh Hoxha; Georgios Fainekos; Gidon Ernst; Zhenya Zhang; Paolo Arcaini; Ichiro Hasuo; Sean Sedwards
- Type: conference
- Venue: ARCH
- Page: https://www.bhoxha.com/publications/dokhanchi2018arch/
- pdf: http://www.bhoxha.com/papers/ARCH2018.pdf
- Topics: Testing; Falsification; and Specification

## ARCH-COMP17 Category Report: Preliminary Results on the Falsification Benchmarks

- Citation key: dokhanchi2017arch
- Authors: Adel Dokhanchi; Shakiba Yaghoubi; Bardh Hoxha; Georgios Fainekos
- Type: conference
- Venue: ARCH
- Page: https://www.bhoxha.com/publications/dokhanchi2017arch/
- pdf: http://www.bhoxha.com/papers/ARCH2017.pdf
- Topics: Testing; Falsification; and Specification

## Benchmarks for Temporal Logic Requirements for Automotive Systems

- Citation key: hoxha2014benchmarks
- Authors: Bardh Hoxha; Houssam Abbas; Georgios Fainekos
- Type: workshop
- Venue: Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH)
- Page: https://www.bhoxha.com/publications/hoxha2014benchmarks/
- pdf: http://www.bhoxha.com/papers/arch2014bench.pdf
- Topics: Testing; Falsification; and Specification