[{"id":"Zhao26-STLMPPI","title":"Safety-aware Model Predictive Path Integral Control with Signal Temporal Logic","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","keywords":["Optimal Planning and Safe Control","Barrier Function Methods"],"url":"https://www.bhoxha.com/publications/Zhao26-STLMPPI/","links":{"paper":"https://arxiv.org/abs/2608.23972","pdf":"https://arxiv.org/pdf/2608.23972"},"bibtex":"@inproceedings{Zhao26-STLMPPI,\n  title = {Safety-aware Model Predictive Path Integral Control with Signal Temporal Logic},\n  author = {Yiqi Zhao and Taekyung Kim and Hideki Okamoto and Bardh Hoxha and Jyotirmoy V. Deshmukh and Lars Lindemann and Georgios Fainekos},\n  booktitle = {arXiv preprint arXiv:2608.23972, 2026},\n  year = {2026},\n  url = {https://arxiv.org/abs/2608.23972},\n  keywords = {Optimal Planning and Safe Control, Barrier Function Methods}\n}"},{"id":"Khandait26-DiffTilt","title":"Diffusion-Guided Search via Exponential Tilting (DiffTilt): An Application to Falsification of Safety-Critical Systems","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","keywords":["Testing","Falsification","and Specification","Learning-based Control and Analysis","Risk and Stochasticity"],"url":"https://www.bhoxha.com/publications/Khandait26-DiffTilt/","links":{"paper":"https://arxiv.org/abs/2607.23134","pdf":"https://arxiv.org/pdf/2607.23134"},"bibtex":"@inproceedings{Khandait26-DiffTilt,\n  title = {Diffusion-Guided Search via Exponential Tilting (DiffTilt): An Application to Falsification of Safety-Critical Systems},\n  author = {Tanmay Khandait and Preetom Biswas and Hideki Okamoto and Bardh Hoxha and Georgios Fainekos and Giulia Pedrielli},\n  booktitle = {International Conference on Embedded Software (EMSOFT), 2026},\n  year = {2026},\n  url = {https://arxiv.org/abs/2607.23134},\n  keywords = {Testing, Falsification, and Specification, Learning-based Control and Analysis, Risk and Stochasticity}\n}"},{"id":"Miao26-FalconTrack","title":"FalconTrack: Photorealistic Auto-Labeled Perception and Physics-Aware Vision-Based Aerial Tracking","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","keywords":["Learning-based Control and Analysis","Autonomous Mobility and Planning"],"url":"https://www.bhoxha.com/publications/Miao26-FalconTrack/","links":{"paper":"https://arxiv.org/abs/2606.29783","pdf":"https://arxiv.org/pdf/2606.29783"},"bibtex":"@inproceedings{Miao26-FalconTrack,\n  title = {FalconTrack: Photorealistic Auto-Labeled Perception and Physics-Aware Vision-Based Aerial Tracking},\n  author = {Yan Miao and Karteek Gandiboyina and Noah Giles and Hideki Okamoto and Bardh Hoxha and Georgios Fainekos and Sayan Mitra},\n  booktitle = {IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2026},\n  year = {2026},\n  url = {https://arxiv.org/abs/2606.29783},\n  keywords = {Learning-based Control and Analysis, Autonomous Mobility and Planning}\n}"},{"id":"Oura26-CausalMDP","title":"Sample-Efficient Learning of Probabilistic Causes for Reachability in Markov Decision Processes with Probabilistic Guarantees","authors":["Ryohei Oura","Georgios Fainekos","Hideki Okamoto","Bardh Hoxha"],"year":"2026","type":"conference","venue":"Conference on Uncertainty in Artificial Intelligence (UAI), 2026","keywords":["Risk and Stochasticity","Learning-based Control and Analysis","Verification and Reachability"],"award":"Oral Presentation (Top 2%)","url":"https://www.bhoxha.com/publications/Oura26-CausalMDP/","links":{"paper":"https://arxiv.org/abs/2606.29681","pdf":"https://arxiv.org/pdf/2606.29681"},"bibtex":"@inproceedings{Oura26-CausalMDP,\n  title = {Sample-Efficient Learning of Probabilistic Causes for Reachability in Markov Decision Processes with Probabilistic Guarantees},\n  author = {Ryohei Oura and Georgios Fainekos and Hideki Okamoto and Bardh Hoxha},\n  booktitle = {Conference on Uncertainty in Artificial Intelligence (UAI), 2026},\n  year = {2026},\n  award = {Oral Presentation (Top 2%)},\n  url = {https://arxiv.org/abs/2606.29681},\n  keywords = {Risk and Stochasticity, Learning-based Control and Analysis, Verification and Reachability}\n}"},{"id":"Wang26-RLRiskCVaR","title":"Reinforcement Learning for Risk Adaptation via Differentiable CVaR Barrier Functions","authors":["Xinyi Wang","Taekyung Kim","Bardh Hoxha","Georgios Fainekos","Dimitra Panagou"],"year":"2026","type":"preprint","venue":"arXiv preprint arXiv:2605.21257, 2026","keywords":["Risk and Stochasticity","Optimal Planning and Safe Control","Learning-based Control and Analysis"],"url":"https://www.bhoxha.com/publications/Wang26-RLRiskCVaR/","links":{"paper":"https://arxiv.org/abs/2605.21257","pdf":"https://arxiv.org/pdf/2605.21257"},"bibtex":"@inproceedings{Wang26-RLRiskCVaR,\n  title = {Reinforcement Learning for Risk Adaptation via Differentiable CVaR Barrier Functions},\n  author = {Xinyi Wang and Taekyung Kim and Bardh Hoxha and Georgios Fainekos and Dimitra Panagou},\n  booktitle = {arXiv preprint arXiv:2605.21257, 2026},\n  year = {2026},\n  url = {https://arxiv.org/abs/2605.21257},\n  keywords = {Risk and Stochasticity, Optimal Planning and Safe Control, Learning-based Control and Analysis}\n}"},{"id":"Kim26-PolicyLibraryCBF","title":"Policy Library CBF: Finite-Horizon Safety at Runtime via Parallel Rollouts","authors":["Taekyung Kim","Hideki Okamoto","Bardh Hoxha","Georgios Fainekos","Dimitra Panagou"],"year":"2026","type":"preprint","venue":"arXiv preprint arXiv:2605.16588, 2026","keywords":["Optimal Planning and Safe Control","Runtime Verification and Monitoring"],"url":"https://www.bhoxha.com/publications/Kim26-PolicyLibraryCBF/","links":{"paper":"https://arxiv.org/abs/2605.16588","pdf":"https://arxiv.org/pdf/2605.16588"},"bibtex":"@inproceedings{Kim26-PolicyLibraryCBF,\n  title = {Policy Library CBF: Finite-Horizon Safety at Runtime via Parallel Rollouts},\n  author = {Taekyung Kim and Hideki Okamoto and Bardh Hoxha and Georgios Fainekos and Dimitra Panagou},\n  booktitle = {arXiv preprint arXiv:2605.16588, 2026},\n  year = {2026},\n  url = {https://arxiv.org/abs/2605.16588},\n  keywords = {Optimal Planning and Safe Control, Runtime Verification and Monitoring}\n}"},{"id":"Hoxha26-VisionRTM","title":"Vision-Based Runtime Monitoring under Varying Specifications using Semantic Latent Representations","authors":["Bardh Hoxha","Oliver Schön","Hideki Okamoto","Lars Lindemann","Georgios Fainekos"],"year":"2026","type":"preprint","venue":"arXiv preprint arXiv:2605.13923, 2026","keywords":["Runtime Verification and Monitoring","Learning-based Control and Analysis"],"url":"https://www.bhoxha.com/publications/Hoxha26-VisionRTM/","links":{"paper":"https://arxiv.org/abs/2605.13923","pdf":"https://arxiv.org/pdf/2605.13923"},"bibtex":"@inproceedings{Hoxha26-VisionRTM,\n  title = {Vision-Based Runtime Monitoring under Varying Specifications using Semantic Latent Representations},\n  author = {Bardh Hoxha and Oliver Schön and Hideki Okamoto and Lars Lindemann and Georgios Fainekos},\n  booktitle = {arXiv preprint arXiv:2605.13923, 2026},\n  year = {2026},\n  url = {https://arxiv.org/abs/2605.13923},\n  keywords = {Runtime Verification and Monitoring, Learning-based Control and Analysis}\n}"},{"id":"Hoxha26-BRACBF","title":"Bayesian Risk-Aware CBFs for Discrete-Time Stochastic Systems with Learned Dynamics","authors":["Bardh Hoxha","Mitchell Black","Keyvan Majd","Hideki Okamoto","Georgios Fainekos","Danil Prokhorov"],"year":"2026","type":"conference","venue":"American Control Conference (ACC), 2026","keywords":["Risk and Stochasticity","Optimal Planning and Safe Control","Learning-based Control and Analysis"],"url":"https://www.bhoxha.com/publications/Hoxha26-BRACBF/","links":{"pdf":"https://www.bhoxha.com/papers/2026-acc-hoxha.pdf"},"bibtex":"@inproceedings{Hoxha26-BRACBF,\n  title = {Bayesian Risk-Aware CBFs for Discrete-Time Stochastic Systems with Learned Dynamics},\n  author = {Bardh Hoxha and Mitchell Black and Keyvan Majd and Hideki Okamoto and Georgios Fainekos and Danil Prokhorov},\n  booktitle = {American Control Conference (ACC), 2026},\n  year = {2026},\n  url = {papers/2026-acc-hoxha.pdf},\n  keywords = {Risk and Stochasticity, Optimal Planning and Safe Control, Learning-based Control and Analysis}\n}"},{"id":"Kim25-SafeMPD","title":"Safe Model Predictive Diffusion with Shielding","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","keywords":["Optimal Planning and Safe Control","Learning-based Control and Analysis"],"url":"https://www.bhoxha.com/publications/Kim25-SafeMPD/","links":{"paper":"https://arxiv.org/abs/2512.06261","pdf":"https://arxiv.org/pdf/2512.06261"},"bibtex":"@inproceedings{Kim25-SafeMPD,\n  title = {Safe Model Predictive Diffusion with Shielding},\n  author = {Taekyung Kim and Keyvan Majd and Bardh Hoxha and Hideki Okamoto and Dimitra Panagou and Georgios Fainekos},\n  booktitle = {IEEE International Conference on Robotics and Automation (ICRA), 2026},\n  year = {2026},\n  url = {https://arxiv.org/abs/2512.06261},\n  keywords = {Optimal Planning and Safe Control, Learning-based Control and Analysis}\n}"},{"id":"Miao25-FalconGym","title":"Performance-Guided Refinement for Visual Aerial Navigation using Editable Gaussian Splatting in FalconGym 2.0","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","keywords":["Learning-based Control and Analysis","Autonomous Mobility and Planning"],"url":"https://www.bhoxha.com/publications/Miao25-FalconGym/","links":{"paper":"https://arxiv.org/abs/2510.02248","pdf":"https://arxiv.org/pdf/2510.02248"},"bibtex":"@inproceedings{Miao25-FalconGym,\n  title = {Performance-Guided Refinement for Visual Aerial Navigation using Editable Gaussian Splatting in FalconGym 2.0},\n  author = {Yan Miao, Ege Yuceel, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Sayan Mitra},\n  booktitle = {IEEE International Conference on Robotics and Automation (ICRA), 2026},\n  year = {2026},\n  url = {https://arxiv.org/pdf/2510.02248},\n  keywords = {Learning-based Control and Analysis, Autonomous Mobility and Planning}\n}"},{"id":"Li26","title":"Quantitative Verification of Learning-Enabled Systems using ProbStar Reachability","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","keywords":["Learning-based Control and Analysis","Verification and Reachability"],"url":"https://www.bhoxha.com/publications/Li26/","links":{"paper":"https://www.sciencedirect.com/science/article/abs/pii/S1751570X25000494"},"bibtex":"@article{Li26,\n  title = {Quantitative Verification of Learning-Enabled Systems using ProbStar Reachability},\n  author = {Yuntao Li and Sung Woo Choi and Hideki Okamoto and Bardh Hoxha and Georgios Fainekos and Hoang-Dung Tran},\n  booktitle = {Nonlinear Analysis: Hybrid Systems 2026},\n  year = {2026},\n  url = {https://www.sciencedirect.com/science/article/abs/pii/S1751570X25000494},\n  keywords = {Learning-based Control and Analysis, Verification and Reachability}\n}"},{"id":"Fronda26-Firefly","title":"FiReFly: Fair Distributed Receding Horizon Planning for Multiple UAVs","authors":["Nathan Fronda","Bardh Hoxha","Houssam Abbas"],"year":"2026","type":"conference","venue":"IEEE Intelligent Transportation Systems Conference (ITSC), 2026","keywords":["Multi-Agent Systems","Optimal Planning and Safe Control"],"url":"https://www.bhoxha.com/publications/Fronda26-Firefly/","links":{"paper":"https://arxiv.org/abs/2508.14381","pdf":"https://arxiv.org/pdf/2508.14381"},"bibtex":"@inproceedings{Fronda26-Firefly,\n  title = {FiReFly: Fair Distributed Receding Horizon Planning for Multiple UAVs},\n  author = {Nathan Fronda and Bardh Hoxha and Houssam Abbas},\n  booktitle = {IEEE Intelligent Transportation Systems Conference (ITSC), 2026},\n  year = {2026},\n  url = {https://arxiv.org/pdf/2508.14381},\n  keywords = {Multi-Agent Systems, Optimal Planning and Safe Control}\n}"},{"id":"Fronda26-FairCoPlan","title":"Fair-CoPlan: Negotiated Flight Planning with Fair Deconfliction for Urban Air Mobility","authors":["Nathan Fronda","Peter Smith","Bardh Hoxha","Yash Pant","Houssam Abbas"],"year":"2026","type":"conference","venue":"IEEE Intelligent Transportation Systems Conference (ITSC), 2026","keywords":["Multi-Agent Systems","Autonomous Mobility and Planning"],"url":"https://www.bhoxha.com/publications/Fronda26-FairCoPlan/","links":{"paper":"https://arxiv.org/abs/2508.14380","pdf":"https://arxiv.org/pdf/2508.14380"},"bibtex":"@inproceedings{Fronda26-FairCoPlan,\n  title = {Fair-CoPlan: Negotiated Flight Planning with Fair Deconfliction for Urban Air Mobility},\n  author = {Nathan Fronda and Peter Smith and Bardh Hoxha and Yash Pant and Houssam Abbas},\n  booktitle = {IEEE Intelligent Transportation Systems Conference (ITSC), 2026},\n  year = {2026},\n  url = {https://arxiv.org/pdf/2508.14380},\n  keywords = {Multi-Agent Systems, Autonomous Mobility and Planning}\n}"},{"id":"Anderson25-STG","title":"Spatio-Temporal Grounding of Large Language Models from Perception Streams","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","keywords":["Runtime Verification and Monitoring","Learning-based Control and Analysis"],"url":"https://www.bhoxha.com/publications/Anderson25-STG/","links":{"paper":"https://arxiv.org/abs/2604.07592","pdf":"https://arxiv.org/pdf/2604.07592"},"bibtex":"@inproceedings{Anderson25-STG,\n  title = {Spatio-Temporal Grounding of Large Language Models from Perception Streams},\n  author = {Jacob Anderson and Bardh Hoxha and Georgios Fainekos and Hideki Okamoto and Danil V. Prokhorov},\n  booktitle = {NeurIPS 2025 Workshop on Space in Vision, Language, and Embodied AI},\n  year = {2025},\n  url = {https://arxiv.org/pdf/2604.07592},\n  keywords = {Runtime Verification and Monitoring, Learning-based Control and Analysis}\n}"},{"id":"Anderson25-LogSTOP","title":"LogSTOP: Temporal Scores over Prediction Sequences for Matching and Retrieval","authors":["Avishree Khare","Hideki Okamoto","Bardh Hoxha","Georgios Fainekos","Rajeev Alur"],"year":"2025","type":"preprint","venue":"arXiv preprint, 2025","keywords":["Runtime Verification and Monitoring","Learning-based Control and Analysis"],"url":"https://www.bhoxha.com/publications/Anderson25-LogSTOP/","links":{"paper":"https://arxiv.org/abs/2510.06512","pdf":"https://arxiv.org/pdf/2510.06512"},"bibtex":"@inproceedings{Anderson25-LogSTOP,\n  title = {LogSTOP: Temporal Scores over Prediction Sequences for Matching and Retrieval},\n  author = {Avishree Khare, Hideki Okamoto, Bardh Hoxha, Georgios Fainekos, Rajeev Alur},\n  booktitle = {arXiv preprint, 2025},\n  year = {2025},\n  url = {https://arxiv.org/pdf/2510.06512},\n  keywords = {Runtime Verification and Monitoring, Learning-based Control and Analysis}\n}"},{"id":"Yamaguchi25","title":"Scalable Multi-Agent Path Finding for Delivery Robot Systems with Temporal and Edge Capacity Constraints on Weighted Graphs","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","keywords":["Multi-Agent Systems","Task Allocation and Path Planning"],"url":"https://www.bhoxha.com/publications/Yamaguchi25/","links":{"paper":"https://ieeexplore.ieee.org/abstract/document/11164139"},"bibtex":"@inproceedings{Yamaguchi25,\n  title = {Scalable Multi-Agent Path Finding for Delivery Robot Systems with Temporal and Edge Capacity Constraints on Weighted Graphs},\n  author = {Tomoya Yamaguchi and Ippei Nishitani and Yusuke Ota and Bardh Hoxha and Georgios Fainekos},\n  booktitle = {2025 IEEE 21st International Conference on Automation Science and Engineering (CASE), 2025},\n  year = {2025},\n  url = {https://ieeexplore.ieee.org/abstract/document/11164139},\n  keywords = {Multi-Agent Systems, Task Allocation and Path Planning}\n}"},{"id":"Majd25","title":"GPU-Accelerated Barrier-Rate Guided MPPI Control for Tractor-Trailer Systems","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","keywords":["Optimal Planning and Safe Control","Barrier Function Methods"],"url":"https://www.bhoxha.com/publications/Majd25/","links":{"paper":"https://arxiv.org/abs/2508.05773","pdf":"https://arxiv.org/pdf/2508.05773"},"bibtex":"@inproceedings{Majd25,\n  title = {GPU-Accelerated Barrier-Rate Guided MPPI Control for Tractor-Trailer Systems},\n  author = {Keyvan Majd and Hardik Parwana and Bardh Hoxha and Steven Hong and Hideki Okamoto and Georgios Fainekos},\n  booktitle = {IEEE Intelligent Transportation Systems Conference (ITSC), 2025},\n  year = {2025},\n  url = {https://arxiv.org/abs/2508.05773},\n  keywords = {Optimal Planning and Safe Control, Barrier Function Methods}\n}"},{"id":"Zhao25-STLGO","title":"STL-GO: Spatio-Temporal Logic with Graph Operators for Distributed Systems with Multiple Network Topologies","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","keywords":["Spatio-Temporal Logic","Distributed Systems and Networks"],"url":"https://www.bhoxha.com/publications/Zhao25-STLGO/","links":{"paper":"https://dl.acm.org/doi/pdf/10.1145/3760258"},"bibtex":"@article{Zhao25-STLGO,\n  title = {STL-GO: Spatio-Temporal Logic with Graph Operators for Distributed Systems with Multiple Network Topologies},\n  author = {Yiqi Zhao and Xinyi Yu and Bardh Hoxha and Georgios Fainekos and Jyotirmoy Deshmukh and Lars Lindemann},\n  booktitle = {ACM Transactions on Embedded Computing Systems (TECS), 2025},\n  year = {2025},\n  url = {https://dl.acm.org/doi/pdf/10.1145/3760258},\n  keywords = {Spatio-Temporal Logic, Distributed Systems and Networks}\n}"},{"id":"Zhang25","title":"Conformal Prediction in the Loop: Risk-Aware Control Barrier Functions for Stochastic Systems with Data-Driven State Estimators","authors":["Jiaqi Zhang","Bardh Hoxha","Georgios Fainekos","Dimitra Panagou"],"year":"2025","type":"journal","venue":"IEEE Control Systems Letters, 2025","keywords":["Risk and Stochasticity","Optimal Planning and Safe Control"],"url":"https://www.bhoxha.com/publications/Zhang25/","links":{"pdf":"https://www.bhoxha.com/papers/letters-zhang-2025.pdf"},"bibtex":"@article{Zhang25,\n  title = {Conformal Prediction in the Loop: Risk-Aware Control Barrier Functions for Stochastic Systems with Data-Driven State Estimators},\n  author = {Jiaqi Zhang and Bardh Hoxha and Georgios Fainekos and Dimitra Panagou},\n  booktitle = {IEEE Control Systems Letters, 2025},\n  year = {2025},\n  url = {papers/letters-zhang-2025.pdf},\n  keywords = {Risk and Stochasticity, Optimal Planning and Safe Control}\n}"},{"id":"HSCC2025-probstar","title":"ProbStar Temporal Logic for Verifying Complex Behaviors of Learning-enabled Systems","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","keywords":["Runtime Verification and Monitoring","Learning-based Control and Analysis"],"url":"https://www.bhoxha.com/publications/HSCC2025-probstar/","links":{"pdf":"https://www.bhoxha.com/papers/hscc-tran-2025.pdf"},"bibtex":"@inproceedings{HSCC2025-probstar,\n  title = {ProbStar Temporal Logic for Verifying Complex Behaviors of Learning-enabled Systems},\n  author = {Hoang-Dung Tran and Sung Woo Choi and Yuntao Li and Hideki Okamoto and Bardh Hoxha and Georgios Fainekos},\n  booktitle = {28th ACM International Conference on Hybrid Systems: Computation and Control (HSCC), 2025},\n  year = {2025},\n  url = {papers/hscc-tran-2025.pdf},\n  keywords = {Runtime Verification and Monitoring, Learning-based Control and Analysis}\n}"},{"id":"Parwana25","title":"BR-MPPI: Barrier Rate guided MPPI for Enforcing Multiple Inequality Constraints with Learned Signed Distance Field","authors":["Hardik Parwana","Taekyung Kim","Kehan Long","Bardh Hoxha","Hideki Okamoto","Georgios Fainekos","Dimitra Panagou"],"year":"2025","type":"preprint","venue":"arXiv:2506.07325, 2025","keywords":["Optimal Planning and Safe Control","Learning-based Control and Analysis"],"url":"https://www.bhoxha.com/publications/Parwana25/","links":{"paper":"https://arxiv.org/abs/2506.07325","pdf":"https://arxiv.org/pdf/2506.07325"},"bibtex":"@inproceedings{Parwana25,\n  title = {BR-MPPI: Barrier Rate guided MPPI for Enforcing Multiple Inequality Constraints with Learned Signed Distance Field},\n  author = {Hardik Parwana and Taekyung Kim and Kehan Long and Bardh Hoxha and Hideki Okamoto and Georgios Fainekos and Dimitra Panagou},\n  booktitle = {arXiv:2506.07325, 2025},\n  year = {2025},\n  url = {https://arxiv.org/pdf/2506.07325},\n  keywords = {Optimal Planning and Safe Control, Learning-based Control and Analysis}\n}"},{"id":"Tran25-CAV","title":"StarV: A Qualitative and Quantitative Verification Tool for Learning-Enabled Systems","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","keywords":["Formal Methods and Verification","Learning-based Control and Analysis"],"url":"https://www.bhoxha.com/publications/Tran25-CAV/","links":{"pdf":"https://www.bhoxha.com/papers/2025_StarV.pdf"},"bibtex":"@inproceedings{Tran25-CAV,\n  title = {StarV: A Qualitative and Quantitative Verification Tool for Learning-Enabled Systems},\n  author = {Hoang-Dung Tran and Sung Woo Choi and Yuntao Li and Qing Liu and Hideki Okamoto and Bardh Hoxha and Georgios Fainekos},\n  booktitle = {International Conference on Computer Aided Verification (CAV), 2025},\n  year = {2025},\n  url = {papers/2025_StarV.pdf},\n  keywords = {Formal Methods and Verification, Learning-based Control and Analysis}\n}"},{"id":"Zhao25","title":"Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications","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","keywords":["Runtime Verification and Monitoring"],"url":"https://www.bhoxha.com/publications/Zhao25/","links":{"paper":"https://arxiv.org/abs/2504.02964","pdf":"https://arxiv.org/pdf/2504.02964"},"bibtex":"@article{Zhao25,\n  title = {Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications},\n  author = {Yiqi Zhao and Emily Zhu and Bardh Hoxha and Georgios Fainekos and Jyotirmoy V Deshmukh and Lars Lindemann},\n  booktitle = {Transactions on Cyber-Physical Systems (TCPS), 2025},\n  year = {2025},\n  url = {https://arxiv.org/abs/2504.02964},\n  keywords = {Runtime Verification and Monitoring}\n}"},{"id":"Wang25","title":"Safe Navigation in Uncertain Crowded Environments Using Risk Adaptive CVaR Barrier Functions","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","keywords":["Motion Planning and Control"],"url":"https://www.bhoxha.com/publications/Wang25/","links":{"paper":"https://arxiv.org/abs/2504.06513","pdf":"https://arxiv.org/pdf/2504.06513"},"bibtex":"@inproceedings{Wang25,\n  title = {Safe Navigation in Uncertain Crowded Environments Using Risk Adaptive CVaR Barrier Functions},\n  author = {Xinyi Wang and Taekyung Kim and Bardh Hoxha and Georgios Fainekos and Dimitra Panagou},\n  booktitle = {IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2025},\n  year = {2025},\n  url = {https://arxiv.org/abs/2504.06513},\n  keywords = {Motion Planning and Control}\n}"},{"id":"NAHS2025","title":"Reachability Analysis of Recurrent Neural Networks","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","keywords":["Learning-based Control and Analysis","Runtime Verification and Monitoring"],"url":"https://www.bhoxha.com/publications/NAHS2025/","links":{"paper":"https://www.sciencedirect.com/science/article/abs/pii/S1751570X2500007X"},"bibtex":"@article{NAHS2025,\n  title = {Reachability Analysis of Recurrent Neural Networks},\n  author = {Sung Woo Choi and Yuntao Li and Xiaodong Yang and Tomoya Yamaguchi and Bardh Hoxha and Georgios Fainekos and Danil Prokhorov and Hoang-Dung Tran},\n  booktitle = {Nonlinear Analysis: Hybrid Systems, 2025},\n  year = {2025},\n  url = {https://www.sciencedirect.com/science/article/abs/pii/S1751570X2500007X},\n  keywords = {Learning-based Control and Analysis, Runtime Verification and Monitoring}\n}"},{"id":"TCPS2025","title":"Scaling Learning-based Policy Optimization for Temporal Logic Tasks by Controller Network Dropout","authors":["Navid Hashemi","Bardh Hoxha","Danil Prokhorov","Georgios Fainekos","Jyotirmoy V Deshmukh"],"year":"2025","type":"journal","venue":"Transactions on Cyber-Physical Systems, 2025","keywords":["Learning-based Control and Analysis"],"url":"https://www.bhoxha.com/publications/TCPS2025/","links":{"paper":"https://dl.acm.org/doi/full/10.1145/3696112"},"bibtex":"@article{TCPS2025,\n  title = {Scaling Learning-based Policy Optimization for Temporal Logic Tasks by Controller Network Dropout},\n  author = {Navid Hashemi and Bardh Hoxha and Danil Prokhorov and Georgios Fainekos and Jyotirmoy V Deshmukh},\n  booktitle = {Transactions on Cyber-Physical Systems, 2025},\n  year = {2025},\n  url = {https://dl.acm.org/doi/full/10.1145/3696112},\n  keywords = {Learning-based Control and Analysis}\n}"},{"id":"MPPI2024","title":"Risk-aware MPPI for Stochastic Hybrid Systems","authors":["Hardik Parwana","Mitchell Black","Bardh Hoxha","Hideki Okamoto","Georgios Fainekos","Danil Prokhorov","Dimitra Panagou"],"year":"2025","type":"conference","venue":"American Control Conference, 2025","keywords":["Optimal Planning and Safe Control","Risk and Stochasticity"],"url":"https://www.bhoxha.com/publications/MPPI2024/","links":{"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"},"bibtex":"@inproceedings{MPPI2024,\n  title = {Risk-aware MPPI for Stochastic Hybrid Systems},\n  author = {Hardik Parwana and Mitchell Black and Bardh Hoxha and Hideki Okamoto and Georgios Fainekos and Danil Prokhorov and Dimitra Panagou},\n  booktitle = {American Control Conference, 2025},\n  year = {2025},\n  url = {https://ar5iv.org/pdf/2411.09198},\n  video = {https://private-user-images.githubusercontent.com/19849515/371942037-c75edbed-d587-4282-b8d9-2c74940301af.mp4?jwt=eyJhbGciOiJIUzI1NiIsInR5cCI6IkpXVCJ9.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImtleSI6ImtleTUiLCJleHAiOjE3MzMzNTM0NDgsIm5iZiI6MTczMzM1MzE0OCwicGF0aCI6Ii8xOTg0OTUxNS8zNzE5NDIwMzctYzc1ZWRiZWQtZDU4Ny00MjgyLWI4ZDktMmM3NDk0MDMwMWFmLm1wND9YLUFtei1BbGdvcml0aG09QVdTNC1ITUFDLVNIQTI1NiZYLUFtei1DcmVkZW50aWFsPUFLSUFWQ09EWUxTQTUzUFFLNFpBJTJGMjAyNDEyMDQlMkZ1cy1lYXN0LTElMkZzMyUyRmF3czRfcmVxdWVzdCZYLUFtei1EYXRlPTIwMjQxMjA0VDIyNTkwOFomWC1BbXotRXhwaXJlcz0zMDAmWC1BbXotU2lnbmF0dXJlPWNjNDgyMzBlNzhhMjkzN2U2OGYwNGQ4ODc3YzVjNDNjZTUzODZjODZkMDhhNzVkYjQ4YzE2OGRmMzc0M2VjZjYmWC1BbXotU2lnbmVkSGVhZGVycz1ob3N0In0.i6mV0WsRAf8IyiRq4VRd3Yw5v7xznrUcIFOxzhcgnls},\n  code = {https://github.com/hardikparwana/social-navigation},\n  keywords = {Optimal Planning and Safe Control, Risk and Stochasticity}\n}"},{"id":"IROS2025","title":"Neural Configuration Distance Function for Continuum Robot Control","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","keywords":["Learning-based Control and Analysis","Optimal Planning and Safe Control"],"url":"https://www.bhoxha.com/publications/IROS2025/","links":{"paper":"https://arxiv.org/abs/2409.13865","pdf":"https://arxiv.org/pdf/2409.13865","code":"https://github.com/cps-atlas/ndf-coroco"},"bibtex":"@inproceedings{IROS2025,\n  title = {Neural Configuration Distance Function for Continuum Robot Control},\n  author = {Kehan Long and Hardik Parwana and Georgios Fainekos and Bardh Hoxha and Hideki Okamoto and Nikolay Atanasov},\n  booktitle = {IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2025},\n  year = {2025},\n  url = {https://arxiv.org/pdf/2409.13865},\n  code = {https://github.com/cps-atlas/ndf-coroco},\n  keywords = {Learning-based Control and Analysis, Optimal Planning and Safe Control}\n}"},{"id":"Tuck25","title":"MRTA-Sim: A Modular Simulator for Multi-Robot Allocation, Planning, and Control in Open-World Environments","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","keywords":["Optimal Planning and Safe Control"],"url":"https://www.bhoxha.com/publications/Tuck25/","links":{"paper":"https://arxiv.org/abs/2504.15418","pdf":"https://arxiv.org/pdf/2504.15418"},"bibtex":"@inproceedings{Tuck25,\n  title = {MRTA-Sim: A Modular Simulator for Multi-Robot Allocation, Planning, and Control in Open-World Environments},\n  author = {Victoria Marie Tuck and Hardik Parwana and Pei-Wei Chen and Georgios Fainekos and Bardh Hoxha and Hideki Okamoto and S Shankar Sastry and Sanjit A Seshia},\n  booktitle = {arXiv, 2025},\n  year = {2025},\n  url = {https://arxiv.org/abs/2504.15418},\n  keywords = {Optimal Planning and Safe Control}\n}"},{"id":"AAAIw2024","title":"From Dashcam Videos to Driving Simulations: Stress Testing Automated Vehicles Against Rare Events","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","keywords":["Testing","Falsification","and Specification"],"url":"https://www.bhoxha.com/publications/AAAIw2024/","links":{"paper":"https://ar5iv.org/pdf/2411.16027"},"bibtex":"@inproceedings{AAAIw2024,\n  title = {From Dashcam Videos to Driving Simulations: Stress Testing Automated Vehicles Against Rare Events},\n  author = {Yan Miao and Georgios Fainekos and Bardh Hoxha and Hideki Okamoto and Danil Prokhorov and Sayan Mitra},\n  booktitle = {Machine Learning for Autonomous Driving - AAAI, 2025},\n  year = {2025},\n  url = {https://ar5iv.org/pdf/2411.16027},\n  keywords = {Testing, Falsification, and Specification}\n}"},{"id":"parwana2025feasible","title":"Feasible Space Monitoring for Multiple Control Barrier Functions with application to Large Scale Indoor Navigation","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","keywords":["Runtime Verification and Monitoring","Optimal Planning and Safe Control"],"url":"https://www.bhoxha.com/publications/parwana2025feasible/","links":{"pdf":"https://ar5iv.org/pdf/2312.07803.pdf"},"bibtex":"@inproceedings{parwana2025feasible,\n  title = {Feasible Space Monitoring for Multiple Control Barrier Functions with application to Large Scale Indoor Navigation},\n  author = {Parwana, Hardik and Black, Mitchell and Hoxha, Bardh and Okamoto, Hideki and Fainekos, Georgios and Prokhorov, Danil and Panagou, Dimitra},\n  booktitle = {IEEE Conference on Control Technology and Applications (CCTA), 2025},\n  year = {2025},\n  pages = {171--178},\n  url = {https://ar5iv.org/pdf/2312.07803.pdf},\n  keywords = {Runtime Verification and Monitoring, Optimal Planning and Safe Control}\n}"},{"id":"STTT2024","title":"Querying Perception Streams with Spatial Regular Expressions","authors":["Jacob Anderson","Georgios Fainekos","Bardh Hoxha","Hideki Okamoto","Danil Prokhorov"],"year":"2024","type":"journal","venue":"Software Tools for Technology Transfer, 2024","keywords":["Runtime Verification and Monitoring"],"url":"https://www.bhoxha.com/publications/STTT2024/","links":{"paper":"https://arxiv.org/abs/2411.05946","pdf":"https://arxiv.org/pdf/2411.05946","code":"https://github.com/cps-atlas/strem"},"bibtex":"@article{STTT2024,\n  title = {Querying Perception Streams with Spatial Regular Expressions},\n  author = {Jacob Anderson and Georgios Fainekos and Bardh Hoxha and Hideki Okamoto and Danil Prokhorov},\n  booktitle = {Software Tools for Technology Transfer, 2024},\n  year = {2024},\n  url = {https://arxiv.org/pdf/2411.05946},\n  code = {https://github.com/cps-atlas/strem},\n  keywords = {Runtime Verification and Monitoring}\n}"},{"id":"TSA2024","title":"Model Predictive Path Integral Methods with Reach-Avoid Tasks and Control Barrier Functions","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","keywords":["Optimal Planning and Safe Control"],"url":"https://www.bhoxha.com/publications/TSA2024/","links":{"pdf":"https://www.bhoxha.com/papers/rss-tsa24.pdf","code":"https://github.com/bardhh/cbfkit/tree/mppi-extension"},"bibtex":"@inproceedings{TSA2024,\n  title = {Model Predictive Path Integral Methods with Reach-Avoid Tasks and Control Barrier Functions},\n  author = {Hardik Parwana and Mitchell Black and Georgios Fainekos and Bardh Hoxha and Hideki Okamoto and Danil Prokhorov},\n  booktitle = {Towards Safe Autonomy: Emerging Requirements, Definitions, and Methods, July 2024},\n  year = {2024},\n  url = {https://www.bhoxha.com/papers/rss-tsa24.pdf},\n  code = {https://github.com/bardhh/cbfkit/tree/mppi-extension},\n  keywords = {Optimal Planning and Safe Control}\n}"},{"id":"TCPS2024","title":"Scaling Learning-based Policy Optimization for Temporal Logic Tasks by Controller Network Dropout","authors":["Navid Hashemi","Bardh Hoxha","Danil Prokhorov","Georgios Fainekos","Jyotirmoy Deshmukh"],"year":"2024","type":"journal","venue":"ACM Transactions on Cyber-Physical Systems, 2024","keywords":["Learning-based Control and Analysis"],"url":"https://www.bhoxha.com/publications/TCPS2024/","links":{"paper":"https://ar5iv.org/pdf/2403.15826"},"bibtex":"@article{TCPS2024,\n  title = {Scaling Learning-based Policy Optimization for Temporal Logic Tasks by Controller Network Dropout},\n  author = {Navid Hashemi and Bardh Hoxha and Danil Prokhorov and Georgios Fainekos and Jyotirmoy Deshmukh},\n  booktitle = {ACM Transactions on Cyber-Physical Systems, 2024},\n  year = {2024},\n  url = {https://ar5iv.org/pdf/2403.15826},\n  keywords = {Learning-based Control and Analysis}\n}"},{"id":"ADHS2024","title":"LB4TL: Smooth Semantics for Temporal Logic for Scalable Training of Neural Feedback Controllers","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","keywords":["Learning-based Control and Analysis"],"url":"https://www.bhoxha.com/publications/ADHS2024/","links":{"pdf":"https://www.bhoxha.com/papers/adhs2024.pdf"},"bibtex":"@inproceedings{ADHS2024,\n  title = {LB4TL: Smooth Semantics for Temporal Logic for Scalable Training of Neural Feedback Controllers},\n  author = {Navid Hashemi and Sam Williams and Bardh Hoxha and Danil Prokhorov and Georgios Fainekos and Jyotirmoy Deshmukh},\n  booktitle = {The 8th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), July 2024},\n  year = {2024},\n  url = {https://www.bhoxha.com/papers/adhs2024.pdf},\n  keywords = {Learning-based Control and Analysis}\n}"},{"id":"ICRA2024","title":"Optimal Planning for Timed Partial Order Specifications","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","keywords":["Optimal Planning and Safe Control"],"url":"https://www.bhoxha.com/publications/ICRA2024/","links":{"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$"},"bibtex":"@inproceedings{ICRA2024,\n  title = {Optimal Planning for Timed Partial Order Specifications},\n  author = {Kandai Watanabe and Georgios Fainekos and Bardh Hoxha and Morteza Lahijanian and Hideki Okamoto and Sriram Sankaranarayanan},\n  booktitle = {2024 IEEE International Conference on Robotics and Automation (ICRA), May 2024},\n  year = {2024},\n  url = {https://www.bhoxha.com/papers/ICRA2024_TPO_Optim.pdf},\n  video = {https://urldefense.com/v3/__https://youtu.be/_1YuUj3fuV0__;!!B-Wf7dNC-A!5CIko1U7kCI5jujQiVV1HtZI-Uq_oGFOKbLDehVNRaHPbHPG9oKc8gij9jt_sx9NLJuwdSaXyX8uqHNjqnA3e0PkqzwtENDbdA$},\n  keywords = {Optimal Planning and Safe Control}\n}"},{"id":"IROS2024","title":"CBFKit: A Control Barrier Function Toolbox for Robotics Applications","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","keywords":["Optimal Planning and Safe Control"],"url":"https://www.bhoxha.com/publications/IROS2024/","links":{"paper":"https://ar5iv.org/abs/2404.07158","code":"https://github.com/bardhh/cbfkit"},"bibtex":"@inproceedings{IROS2024,\n  title = {CBFKit: A Control Barrier Function Toolbox for Robotics Applications},\n  author = {Mitchell Black and Georgios Fainekos and Bardh Hoxha and Hideki Okamoto and Danil Prokhorov},\n  booktitle = {IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2024},\n  year = {2024},\n  url = {https://ar5iv.org/abs/2404.07158},\n  code = {https://github.com/bardhh/cbfkit},\n  keywords = {Optimal Planning and Safe Control}\n}"},{"id":"ACC2024","title":"Risk-Aware Fixed-Time Stabilization of Stochastic Systems under Measurement Uncertainty","authors":["Mitchell Black","Georgios Fainekos","Bardh Hoxha","Dimitra Panagou"],"year":"2024","type":"conference","venue":"American Control Conference (ACC), 2024","keywords":["Optimal Planning and Safe Control","Risk and Stochasticity"],"url":"https://www.bhoxha.com/publications/ACC2024/","links":{"paper":"https://ar5iv.org/abs/2403.20258"},"bibtex":"@inproceedings{ACC2024,\n  title = {Risk-Aware Fixed-Time Stabilization of Stochastic Systems under Measurement Uncertainty},\n  author = {Mitchell Black and Georgios Fainekos and Bardh Hoxha and Dimitra Panagou},\n  booktitle = {American Control Conference (ACC), 2024},\n  year = {2024},\n  url = {https://ar5iv.org/abs/2403.20258},\n  keywords = {Optimal Planning and Safe Control, Risk and Stochasticity}\n}"},{"id":"NFM_2024","title":"SMT-Based Dynamic Multi-Robot Task Allocation","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","keywords":["Optimal Planning and Safe Control"],"url":"https://www.bhoxha.com/publications/NFM_2024/","links":{"paper":"https://arxiv.org/abs/2403.11737","pdf":"https://arxiv.org/pdf/2403.11737","code":"https://github.com/victoria-tuck/SMrTa"},"bibtex":"@inproceedings{NFM_2024,\n  title = {SMT-Based Dynamic Multi-Robot Task Allocation},\n  author = {Victoria Marie Tuck and Pei-Wei Chen and Georgios Fainekos and Bardh Hoxha and Hideki Okamoto and S Shankar Sastry and Sanjit A Seshia},\n  booktitle = {NASA Formal Methods (NFM), 2024},\n  year = {2024},\n  url = {https://arxiv.org/abs/2403.11737},\n  code = {https://github.com/victoria-tuck/SMrTa},\n  keywords = {Optimal Planning and Safe Control}\n}"},{"id":"yang2023safe","title":"Safe Control Synthesis for Hybrid Systems through Local Control Barrier Functions","authors":["Shuo Yang","Mitchell Black","Georgios Fainekos","Bardh Hoxha","Hideki Okamoto","Rahul Mangharam"],"year":"2024","type":"conference","venue":"American Control Conference (ACC), 2024","keywords":["Optimal Planning and Safe Control"],"url":"https://www.bhoxha.com/publications/yang2023safe/","links":{"pdf":"https://www.bhoxha.com/papers/acc2024.pdf"},"bibtex":"@inproceedings{yang2023safe,\n  title = {Safe Control Synthesis for Hybrid Systems through Local Control Barrier Functions},\n  author = {Yang, Shuo and Black, Mitchell and Fainekos, Georgios and Hoxha, Bardh and Okamoto, Hideki and Mangharam, Rahul},\n  booktitle = {American Control Conference (ACC), 2024},\n  year = {2024},\n  url = {https://www.bhoxha.com/papers/acc2024.pdf},\n  keywords = {Optimal Planning and Safe Control}\n}"},{"id":"zhao2023robust","title":"Robust Conformal Prediction for STL Runtime Verification under Distribution Shift","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","keywords":["Runtime Verification and Monitoring","Risk and Stochasticity"],"award":"Finalist for Best Paper Award","url":"https://www.bhoxha.com/publications/zhao2023robust/","links":{"pdf":"https://www.bhoxha.com/papers/ICCPS2024.pdf"},"bibtex":"@inproceedings{zhao2023robust,\n  title = {Robust Conformal Prediction for STL Runtime Verification under Distribution Shift},\n  author = {Zhao, Yiqi and Hoxha, Bardh and Fainekos, Georgios and Deshmukh, Jyotirmoy V and Lindemann, Lars},\n  booktitle = {ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), 2024},\n  year = {2024},\n  award = {Finalist for Best Paper Award},\n  url = {https://www.bhoxha.com/papers/ICCPS2024.pdf},\n  keywords = {Runtime Verification and Monitoring, Risk and Stochasticity}\n}"},{"id":"hekmatnejad2022formalizing","title":"Formalizing and Evaluating Requirements of Perception Systems for Automated Vehicles using Spatio-Temporal Perception Logic","authors":["Mohammad Hekmatnejad","Bardh Hoxha","Jyotirmoy V Deshmukh","Yezhou Yang","Georgios Fainekos"],"year":"2024","type":"journal","venue":"International Journal of Robotics Research (IJRR), 2024","keywords":["Testing","Falsification","and Specification"],"url":"https://www.bhoxha.com/publications/hekmatnejad2022formalizing/","links":{"paper":"https://arxiv.org/abs/2206.14372","pdf":"https://arxiv.org/pdf/2206.14372"},"bibtex":"@article{hekmatnejad2022formalizing,\n  title = {Formalizing and Evaluating Requirements of Perception Systems for Automated Vehicles using Spatio-Temporal Perception Logic},\n  author = {Hekmatnejad, Mohammad and Hoxha, Bardh and Deshmukh, Jyotirmoy V and Yang, Yezhou and Fainekos, Georgios},\n  journal = {International Journal of Robotics Research (IJRR), 2024},\n  year = {2024},\n  url = {https://arxiv.org/pdf/2206.14372.pdf},\n  keywords = {Testing, Falsification, and Specification}\n}"},{"id":"anderson2023pattern","title":"Pattern Matching for Perception Streams","authors":["Jacob Anderson","Georgios Fainekos","Bardh Hoxha","Hideki Okamoto","Danil Prokhorov"],"year":"2023","type":"conference","venue":"International Conference on Runtime Verification","keywords":["Runtime Verification and Monitoring"],"award":"Finalist for Best Paper Award","url":"https://www.bhoxha.com/publications/anderson2023pattern/","links":{"pdf":"https://www.bhoxha.com/papers/RV2023.pdf","code":"https://github.com/strem-org"},"bibtex":"@inproceedings{anderson2023pattern,\n  title = {Pattern Matching for Perception Streams},\n  author = {Anderson, Jacob and Fainekos, Georgios and Hoxha, Bardh and Okamoto, Hideki and Prokhorov, Danil},\n  booktitle = {International Conference on Runtime Verification},\n  pages = {251--270},\n  year = {2023},\n  organization = {Springer Nature Switzerland Cham},\n  code = {https://github.com/strem-org},\n  award = {Finalist for Best Paper Award},\n  url = {https://www.bhoxha.com/papers/RV2023.pdf},\n  keywords = {Runtime Verification and Monitoring}\n}"},{"id":"STTT2023","title":"RTAMT – Runtime Robustness Monitors with Application to CPS and Robotics","authors":["Tomoya Yamaguchi","Bardh Hoxha","Dejan Ničković"],"year":"2023","type":"journal","venue":"International Journal on Software Tools for Technology Transfer (STTT), 2023","keywords":["Runtime Verification and Monitoring"],"url":"https://www.bhoxha.com/publications/STTT2023/","links":{"pdf":"https://www.bhoxha.com/papers/rtamt2023.pdf","code":"https://github.com/nickovic/rtamt"},"bibtex":"@article{STTT2023,\n  title = {RTAMT – Runtime Robustness Monitors with Application to CPS and Robotics},\n  author = {Tomoya Yamaguchi and Bardh Hoxha and Dejan Ničković},\n  booktitle = {International Journal on Software Tools for Technology Transfer (STTT), 2023},\n  year = {2023},\n  url = {https://www.bhoxha.com/papers/rtamt2023.pdf},\n  code = {https://github.com/nickovic/rtamt},\n  keywords = {Runtime Verification and Monitoring}\n}"},{"id":"nishitani2023checkmate","title":"Checkmate: Fault Timing Localization for Multi-Robot Scenarios","authors":["Ippei Nishitani","Tomoya Yamaguchi","Bardh Hoxha"],"year":"2023","type":"conference","venue":"2023 IEEE 19th International Conference on Automation Science and Engineering (CASE)","keywords":["Runtime Verification and Monitoring"],"url":"https://www.bhoxha.com/publications/nishitani2023checkmate/","links":{"pdf":"https://www.bhoxha.com/papers/CASE2023.pdf"},"bibtex":"@inproceedings{nishitani2023checkmate,\n  title = {Checkmate: Fault Timing Localization for Multi-Robot Scenarios},\n  author = {Nishitani, Ippei and Yamaguchi, Tomoya and Hoxha, Bardh},\n  booktitle = {2023 IEEE 19th International Conference on Automation Science and Engineering (CASE)},\n  pages = {1--8},\n  year = {2023},\n  organization = {IEEE},\n  url = {https://www.bhoxha.com/papers/CASE2023.pdf},\n  keywords = {Runtime Verification and Monitoring}\n}"},{"id":"tran2023quantitative","title":"Quantitative Verification for Neural Networks using ProbStars","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","keywords":["Learning-based Control and Analysis","Risk and Stochasticity"],"url":"https://www.bhoxha.com/publications/tran2023quantitative/","links":{"pdf":"https://www.bhoxha.com/papers/HSCC2023ProbStars.pdf","code":"https://github.com/V2A2/StarV"},"bibtex":"@inproceedings{tran2023quantitative,\n  title = {Quantitative Verification for Neural Networks using ProbStars},\n  author = {Tran, Hoang-Dung and Choi, Sungwoo and Okamoto, Hideki and Hoxha, Bardh and Fainekos, Georgios and Prokhorov, Danil},\n  booktitle = {Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control},\n  pages = {1--12},\n  year = {2023},\n  code = {https://github.com/V2A2/StarV},\n  url = {https://www.bhoxha.com/papers/HSCC2023ProbStars.pdf},\n  keywords = {Learning-based Control and Analysis, Risk and Stochasticity}\n}"},{"id":"tran2023verification","title":"Verification of Recurrent Neural Networks with Star Reachability","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","keywords":["Learning-based Control and Analysis"],"url":"https://www.bhoxha.com/publications/tran2023verification/","links":{"pdf":"https://www.bhoxha.com/papers/HSCC2023RNNVer.pdf","code":"https://github.com/verivital/nnv"},"bibtex":"@inproceedings{tran2023verification,\n  title = {Verification of Recurrent Neural Networks with Star Reachability},\n  author = {Tran, Hoang Dung and Choi, Sung Woo and Yang, Xiaodong and Yamaguchi, Tomoya and Hoxha, Bardh and Prokhorov, Danil},\n  booktitle = {Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control},\n  pages = {1--13},\n  year = {2023},\n  code = {https://github.com/verivital/nnv},\n  url = {https://www.bhoxha.com/papers/HSCC2023RNNVer.pdf},\n  keywords = {Learning-based Control and Analysis}\n}"},{"id":"ICCPS2023","title":"A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems","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","keywords":["Learning-based Control and Analysis"],"url":"https://www.bhoxha.com/publications/ICCPS2023/","links":{"paper":"https://arxiv.org/abs/2303.05394","pdf":"https://arxiv.org/pdf/2303.05394"},"bibtex":"@inproceedings{ICCPS2023,\n  title = {A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems},\n  author = {Navid Hashemi and Bardh Hoxha and Tomoya Yamaguchi and Danil Prokhorov and Geogios Fainekos and Jyotirmoy Deshmukh},\n  booktitle = {ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), 2023},\n  year = {2023},\n  url = {https://arxiv.org/pdf/2303.05394},\n  keywords = {Learning-based Control and Analysis}\n}"},{"id":"hashemi2023risk","title":"Risk-awareness in learning neural controllers for temporal logic objectives","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)","keywords":["Learning-based Control and Analysis","Risk and Stochasticity"],"url":"https://www.bhoxha.com/publications/hashemi2023risk/","links":{"paper":"https://ar5iv.org/abs/2210.07439"},"bibtex":"@inproceedings{hashemi2023risk,\n  title = {Risk-awareness in learning neural controllers for temporal logic objectives},\n  author = {Hashemi, Navid and Qin, Xin and Deshmukh, Jyotirmoy V and Fainekos, Georgios and Hoxha, Bardh and Prokhorov, Danil and Yamaguchi, Tomoya},\n  booktitle = {2023 American Control Conference (ACC)},\n  pages = {4096--4103},\n  year = {2023},\n  organization = {IEEE},\n  url = {https://ar5iv.org/abs/2210.07439},\n  keywords = {Learning-based Control and Analysis, Risk and Stochasticity}\n}"},{"id":"watanabe2023timed","title":"Timed partial order inference algorithm","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","keywords":["Testing","Falsification","and Specification"],"url":"https://www.bhoxha.com/publications/watanabe2023timed/","links":{"paper":"https://ar5iv.org/pdf/2302.02501","code":"https://github.com/watakandai/tpossp"},"bibtex":"@inproceedings{watanabe2023timed,\n  title = {Timed partial order inference algorithm},\n  author = {Watanabe, Kandai and Fainekos, Georgios and Hoxha, Bardh and Lahijanian, Morteza and Prokhorov, Danil and Sankaranarayanan, Sriram and Yamaguchi, Tomoya},\n  booktitle = {Proceedings of the International Conference on Automated Planning and Scheduling},\n  volume = {33},\n  number = {1},\n  pages = {639--647},\n  year = {2023},\n  code = {https://github.com/watakandai/tpossp},\n  url = {https://ar5iv.org/pdf/2302.02501},\n  keywords = {Testing, Falsification, and Specification}\n}"},{"id":"black2023safety","title":"Safety Under Uncertainty: Tight Bounds with Risk-Aware Control Barrier Functions","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","keywords":["Risk and Stochasticity","Optimal Planning and Safe Control"],"url":"https://www.bhoxha.com/publications/black2023safety/","links":{"paper":"https://ar5iv.org/abs/2304.01040"},"bibtex":"@inproceedings{black2023safety,\n  title = {Safety Under Uncertainty: Tight Bounds with Risk-Aware Control Barrier Functions},\n  author = {Black, Mitchell and Fainekos, Georgios and Hoxha, Bardh and Prokhorov, Danil and Panagou, Dimitra},\n  booktitle = {IEEE International Conference on Robotics and Automation (ICRA), 2023},\n  year = {2023},\n  url = {https://ar5iv.org/abs/2304.01040},\n  keywords = {Risk and Stochasticity, Optimal Planning and Safe Control}\n}"},{"id":"ozmen2021discovering","title":"Discovering physical interaction vulnerabilities in IoT deployments","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","keywords":["Testing","Falsification","and Specification"],"url":"https://www.bhoxha.com/publications/ozmen2021discovering/","links":{"paper":"https://ar5iv.org/pdf/2102.01812"},"bibtex":"@inproceedings{ozmen2021discovering,\n  title = {Discovering physical interaction vulnerabilities in IoT deployments},\n  author = {Ozmen, Muslum Ozgur and Li, Xuansong and Chu, Andrew Chun-An and Celik, Z Berkay and Hoxha, Bardh and Zhang, Xiangyu},\n  booktitle = {ACM SIGSAC Conference on Computer and Communications Security (CCS), 2022},\n  year = {2022},\n  url = {https://ar5iv.org/pdf/2102.01812},\n  keywords = {Testing, Falsification, and Specification}\n}"},{"id":"WFML2022","title":"Safety Verification and Repair of Deep Neural Networks","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","keywords":["Learning-based Control and Analysis"],"url":"https://www.bhoxha.com/publications/WFML2022/","links":{"pdf":"http://www.bhoxha.com/papers/WFML2022.pdf","video":"https://slideslive.com/38985959"},"bibtex":"@inproceedings{WFML2022,\n  title = {Safety Verification and Repair of Deep Neural Networks},\n  author = {Xiaodong Yang and Tomoya Yamaguchi and Bardh Hoxha and Danil Prokhorov and Taylor T Johnson},\n  booktitle = {Workshop on Formal Verification of Machine Learning (WFVML), 2022},\n  year = {2022},\n  url = {http://www.bhoxha.com/papers/WFML2022.pdf},\n  video = {https://slideslive.com/38985959},\n  keywords = {Learning-based Control and Analysis}\n}"},{"id":"bogomolov2022runtime","title":"Runtime Assurance for Autonomous Driving with Neural Reachability","authors":["Sergiy Bogomolov","Abdelrahman Hekal","Bardh Hoxha","Tomoya Yamaguchi"],"year":"2022","type":"conference","venue":"2022 IEEE 25th International Conference on Intelligent Transportation Systems (ITSC)","keywords":["Runtime Verification and Monitoring","Learning-based Control and Analysis"],"url":"https://www.bhoxha.com/publications/bogomolov2022runtime/","links":{"pdf":"http://www.bhoxha.com/papers/ITSC2022.pdf"},"bibtex":"@inproceedings{bogomolov2022runtime,\n  title = {Runtime Assurance for Autonomous Driving with Neural Reachability},\n  author = {Bogomolov, Sergiy and Hekal, Abdelrahman and Hoxha, Bardh and Yamaguchi, Tomoya},\n  booktitle = {2022 IEEE 25th International Conference on Intelligent Transportation Systems (ITSC)},\n  pages = {2634--2641},\n  year = {2022},\n  organization = {IEEE},\n  url = {http://www.bhoxha.com/papers/ITSC2022.pdf},\n  keywords = {Runtime Verification and Monitoring, Learning-based Control and Analysis}\n}"},{"id":"yang2022neural","title":"Neural network repair with reachability analysis","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","keywords":["Learning-based Control and Analysis"],"award":"Best Software Artifact Award","url":"https://www.bhoxha.com/publications/yang2022neural/","links":{"paper":"https://arxiv.org/abs/2108.04214","pdf":"https://arxiv.org/pdf/2108.04214","code":"https://github.com/Shaddadi/veritex"},"bibtex":"@inproceedings{yang2022neural,\n  title = {Neural network repair with reachability analysis},\n  author = {Yang, Xiaodong and Yamaguchi, Tom and Tran, Hoang-Dung and Hoxha, Bardh and Johnson, Taylor T and Prokhorov, Danil},\n  booktitle = {International Conference on Formal Modeling and Analysis of Timed Systems},\n  pages = {221--236},\n  year = {2022},\n  organization = {Springer International Publishing Cham},\n  code = {https://github.com/Shaddadi/veritex},\n  award = {Best Software Artifact Award},\n  url = {https://arxiv.org/pdf/2108.04214.pdf},\n  keywords = {Learning-based Control and Analysis}\n}"},{"id":"yaghoubi2021risk","title":"Risk-bounded control with kalman filtering and stochastic barrier functions","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)","keywords":["Optimal Planning and Safe Control","Risk and Stochasticity"],"url":"https://www.bhoxha.com/publications/yaghoubi2021risk/","links":{"paper":"https://arxiv.org/abs/2112.14912","pdf":"https://arxiv.org/pdf/2112.14912"},"bibtex":"@inproceedings{yaghoubi2021risk,\n  title = {Risk-bounded control with kalman filtering and stochastic barrier functions},\n  author = {Yaghoubi, Shakiba and Fainekos, Georgios and Yamaguchi, Tomoya and Prokhorov, Danil and Hoxha, Bardh},\n  booktitle = {2021 60th IEEE Conference on Decision and Control (CDC)},\n  pages = {5213--5219},\n  year = {2021},\n  organization = {IEEE},\n  url = {https://arxiv.org/abs/2112.14912},\n  keywords = {Optimal Planning and Safe Control, Risk and Stochasticity}\n}"},{"id":"balakrishnan2021percemon","title":"PerceMon: online monitoring for perception systems","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","keywords":["Runtime Verification and Monitoring"],"url":"https://www.bhoxha.com/publications/balakrishnan2021percemon/","links":{"paper":"https://arxiv.org/abs/2108.08289","pdf":"https://arxiv.org/pdf/2108.08289","code":"https://github.com/anand-bala/PerceMon"},"bibtex":"@inproceedings{balakrishnan2021percemon,\n  title = {PerceMon: online monitoring for perception systems},\n  author = {Balakrishnan, Anand and Deshmukh, Jyotirmoy and Hoxha, Bardh and Yamaguchi, Tomoya and Fainekos, Georgios},\n  booktitle = {Runtime Verification: 21st International Conference, RV 2021, Virtual Event, October 11--14, 2021, Proceedings 21},\n  pages = {297--308},\n  year = {2021},\n  organization = {Springer International Publishing},\n  code = {https://github.com/anand-bala/PerceMon},\n  url = {https://arxiv.org/pdf/2108.08289.pdf},\n  keywords = {Runtime Verification and Monitoring}\n}"},{"id":"majd2021safe","title":"Safe navigation in human occupied environments using sampling and control barrier functions","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)","keywords":["Optimal Planning and Safe Control"],"url":"https://www.bhoxha.com/publications/majd2021safe/","links":{"paper":"https://arxiv.org/abs/2105.01204","pdf":"https://arxiv.org/pdf/2105.01204"},"bibtex":"@inproceedings{majd2021safe,\n  title = {Safe navigation in human occupied environments using sampling and control barrier functions},\n  author = {Majd, Keyvan and Yaghoubi, Shakiba and Yamaguchi, Tomoya and Hoxha, Bardh and Prokhorov, Danil and Fainekos, Georgios},\n  booktitle = {2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)},\n  pages = {5794--5800},\n  year = {2021},\n  organization = {IEEE},\n  url = {https://arxiv.org/pdf/2105.01204},\n  keywords = {Optimal Planning and Safe Control}\n}"},{"id":"yang2021reachability","title":"Reachability analysis of deep ReLU neural networks using facet-vertex incidence","authors":["Xiaodong Yang","Taylor T Johnson","Hoang-Dung Tran","Tomoya Yamaguchi","Bardh Hoxha","Danil V Prokhorov"],"year":"2021","type":"conference","venue":"HSCC","keywords":["Learning-based Control and Analysis"],"url":"https://www.bhoxha.com/publications/yang2021reachability/","links":{"pdf":"http://www.bhoxha.com/papers/HSCC2021.pdf","code":"https://github.com/Shaddadi/veritex"},"bibtex":"@inproceedings{yang2021reachability,\n  title = {Reachability analysis of deep ReLU neural networks using facet-vertex incidence},\n  author = {Yang, Xiaodong and Johnson, Taylor T and Tran, Hoang-Dung and Yamaguchi, Tomoya and Hoxha, Bardh and Prokhorov, Danil V},\n  booktitle = {HSCC},\n  pages = {18--1},\n  year = {2021},\n  code = {https://github.com/Shaddadi/veritex},\n  url = {http://www.bhoxha.com/papers/HSCC2021.pdf},\n  keywords = {Learning-based Control and Analysis}\n}"},{"id":"yaghoubi2020risk","title":"Risk-bounded control using stochastic barrier functions","authors":["Shakiba Yaghoubi","Keyvan Majd","Georgios Fainekos","Tomoya Yamaguchi","Danil Prokhorov","Bardh Hoxha"],"year":"2020","type":"journal","venue":"IEEE Control Systems Letters","keywords":["Risk and Stochasticity","Optimal Planning and Safe Control"],"url":"https://www.bhoxha.com/publications/yaghoubi2020risk/","links":{"pdf":"http://www.bhoxha.com/papers/LCSS2020.pdf"},"bibtex":"@article{yaghoubi2020risk,\n  title = {Risk-bounded control using stochastic barrier functions},\n  author = {Yaghoubi, Shakiba and Majd, Keyvan and Fainekos, Georgios and Yamaguchi, Tomoya and Prokhorov, Danil and Hoxha, Bardh},\n  journal = {IEEE Control Systems Letters},\n  volume = {5},\n  number = {5},\n  pages = {1831--1836},\n  year = {2020},\n  publisher = {IEEE},\n  url = {http://www.bhoxha.com/papers/LCSS2020.pdf},\n  keywords = {Risk and Stochasticity, Optimal Planning and Safe Control}\n}"},{"id":"hekmatnejad2020search","title":"Search-based test-case generation by monitoring responsibility safety rules","authors":["Mohammad Hekmatnejad","Bardh Hoxha","Georgios Fainekos"],"year":"2020","type":"conference","venue":"2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC)","keywords":["Testing","Falsification","and Specification"],"url":"https://www.bhoxha.com/publications/hekmatnejad2020search/","links":{"pdf":"http://www.bhoxha.com/papers/ITSC2020.pdf"},"bibtex":"@inproceedings{hekmatnejad2020search,\n  title = {Search-based test-case generation by monitoring responsibility safety rules},\n  author = {Hekmatnejad, Mohammad and Hoxha, Bardh and Fainekos, Georgios},\n  booktitle = {2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC)},\n  pages = {1--8},\n  year = {2020},\n  organization = {IEEE},\n  url = {http://www.bhoxha.com/papers/ITSC2020.pdf},\n  keywords = {Testing, Falsification, and Specification}\n}"},{"id":"yamaguchi2020specification","title":"Specification-guided software fault localization for autonomous mobile systems","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)","keywords":["Runtime Verification and Monitoring"],"url":"https://www.bhoxha.com/publications/yamaguchi2020specification/","links":{"pdf":"http://www.bhoxha.com/papers/MEMOCODE2020.pdf"},"bibtex":"@inproceedings{yamaguchi2020specification,\n  title = {Specification-guided software fault localization for autonomous mobile systems},\n  author = {Yamaguchi, Tomoya and Hoxha, Bardh and Prokhorov, Danil and Deshmukh, Jyotirmoy V},\n  booktitle = {2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)},\n  pages = {1--12},\n  year = {2020},\n  organization = {IEEE},\n  url = {http://www.bhoxha.com/papers/MEMOCODE2020.pdf},\n  keywords = {Runtime Verification and Monitoring}\n}"},{"id":"date2020application","title":"Application of Simulation-Based Methods on Autonomous Vehicle Control with Deep Neural Network: Work-in-Progress","authors":["Yuji Date","Takeshi Baba","Bardh Hoxha","Tomoya Yamaguchi","Danil Prokhorov"],"year":"2020","type":"conference","venue":"2020 International Conference on Embedded Software (EMSOFT)","keywords":["Testing","Falsification","and Specification","Learning-based Control and Analysis"],"url":"https://www.bhoxha.com/publications/date2020application/","links":{"pdf":"http://www.bhoxha.com/papers/EMSOFT2020.pdf"},"bibtex":"@inproceedings{date2020application,\n  title = {Application of Simulation-Based Methods on Autonomous Vehicle Control with Deep Neural Network: Work-in-Progress},\n  author = {Date, Yuji and Baba, Takeshi and Hoxha, Bardh and Yamaguchi, Tomoya and Prokhorov, Danil},\n  booktitle = {2020 International Conference on Embedded Software (EMSOFT)},\n  pages = {1--3},\n  year = {2020},\n  organization = {IEEE},\n  url = {http://www.bhoxha.com/papers/EMSOFT2020.pdf},\n  keywords = {Testing, Falsification, and Specification, Learning-based Control and Analysis}\n}"},{"id":"cralley2020tltk","title":"Tltk: A toolbox for parallel robustness computation of temporal logic specifications","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","keywords":["Runtime Verification and Monitoring","Testing","Falsification","and Specification"],"url":"https://www.bhoxha.com/publications/cralley2020tltk/","links":{"pdf":"http://www.bhoxha.com/papers/RV2020.pdf","code":"https://bitbucket.org/versyslab/tltk/src/master/"},"bibtex":"@inproceedings{cralley2020tltk,\n  title = {Tltk: A toolbox for parallel robustness computation of temporal logic specifications},\n  author = {Cralley, Joseph and Spantidi, Ourania and Hoxha, Bardh and Fainekos, Georgios},\n  booktitle = {Runtime Verification: 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6--9, 2020, Proceedings 20},\n  pages = {404--416},\n  year = {2020},\n  organization = {Springer International Publishing},\n  code = {https://bitbucket.org/versyslab/tltk/src/master/},\n  url = {http://www.bhoxha.com/papers/RV2020.pdf},\n  keywords = {Runtime Verification and Monitoring, Testing, Falsification, and Specification}\n}"},{"id":"fainekos2019robustness","title":"Robustness of specifications and its applications to falsification, parameter mining, and runtime monitoring with s-taliro","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","keywords":["Testing","Falsification","and Specification","Runtime Verification and Monitoring"],"url":"https://www.bhoxha.com/publications/fainekos2019robustness/","links":{"pdf":"http://www.bhoxha.com/papers/RV2019.pdf","code":"https://sites.google.com/a/asu.edu/s-taliro/s-taliro"},"bibtex":"@inproceedings{fainekos2019robustness,\n  title = {Robustness of specifications and its applications to falsification, parameter mining, and runtime monitoring with s-taliro},\n  author = {Fainekos, Georgios and Hoxha, Bardh and Sankaranarayanan, Sriram},\n  booktitle = {Runtime Verification: 19th International Conference, RV 2019, Porto, Portugal, October 8--11, 2019, Proceedings 19},\n  pages = {27--47},\n  year = {2019},\n  organization = {Springer International Publishing},\n  code = {https://sites.google.com/a/asu.edu/s-taliro/s-taliro},\n  url = {http://www.bhoxha.com/papers/RV2019.pdf},\n  keywords = {Testing, Falsification, and Specification, Runtime Verification and Monitoring}\n}"},{"id":"tuncali2018experience","title":"Experience report: Application of falsification methods on the UxAS system","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","keywords":["Testing","Falsification","and Specification"],"url":"https://www.bhoxha.com/publications/tuncali2018experience/","links":{"pdf":"http://www.bhoxha.com/papers/NFM2018.pdf"},"bibtex":"@inproceedings{tuncali2018experience,\n  title = {Experience report: Application of falsification methods on the UxAS system},\n  author = {Tuncali, Cumhur Erkan and Hoxha, Bardh and Ding, Guohui and Fainekos, Georgios and Sankaranarayanan, Sriram},\n  booktitle = {NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings 10},\n  pages = {452--459},\n  year = {2018},\n  organization = {Springer International Publishing},\n  url = {http://www.bhoxha.com/papers/NFM2018.pdf},\n  keywords = {Testing, Falsification, and Specification}\n}"},{"id":"nguyen2018mission","title":"Mission planning for multiple vehicles with temporal specifications using UxAS","authors":["Luan V Nguyen","Bardh Hoxha","Taylor T Johnson","Georgios Fainekos"],"year":"2018","type":"journal","venue":"IFAC-PapersOnLine","keywords":["Optimal Planning and Safe Control"],"url":"https://www.bhoxha.com/publications/nguyen2018mission/","links":{"pdf":"http://www.bhoxha.com/papers/adhs2018.pdf"},"bibtex":"@article{nguyen2018mission,\n  title = {Mission planning for multiple vehicles with temporal specifications using UxAS},\n  author = {Nguyen, Luan V and Hoxha, Bardh and Johnson, Taylor T and Fainekos, Georgios},\n  journal = {IFAC-PapersOnLine},\n  volume = {51},\n  number = {16},\n  pages = {67--72},\n  year = {2018},\n  publisher = {Elsevier},\n  url = {http://www.bhoxha.com/papers/adhs2018.pdf},\n  keywords = {Optimal Planning and Safe Control}\n}"},{"id":"dokhanchi2017formal","title":"Formal requirement debugging for testing and verification of cyber-physical systems","authors":["Adel Dokhanchi","Bardh Hoxha","Georgios Fainekos"],"year":"2017","type":"journal","venue":"ACM Transactions on Embedded Computing Systems (TECS)","keywords":["Testing","Falsification","and Specification"],"url":"https://www.bhoxha.com/publications/dokhanchi2017formal/","links":{"pdf":"http://www.bhoxha.com/papers/TECS2017.pdf"},"bibtex":"@article{dokhanchi2017formal,\n  title = {Formal requirement debugging for testing and verification of cyber-physical systems},\n  author = {Dokhanchi, Adel and Hoxha, Bardh and Fainekos, Georgios},\n  journal = {ACM Transactions on Embedded Computing Systems (TECS)},\n  volume = {17},\n  number = {2},\n  pages = {1--26},\n  year = {2017},\n  publisher = {ACM New York, NY, USA},\n  url = {http://www.bhoxha.com/papers/TECS2017.pdf},\n  keywords = {Testing, Falsification, and Specification}\n}"},{"id":"dokhanchi2017vacuity","title":"Vacuity aware falsification for MTL request-response specifications","authors":["Adel Dokhanchi","Shakiba Yaghoubi","Bardh Hoxha","Georgios Fainekos"],"year":"2017","type":"conference","venue":"2017 13th IEEE Conference on Automation Science and Engineering (CASE)","keywords":["Testing","Falsification","and Specification"],"url":"https://www.bhoxha.com/publications/dokhanchi2017vacuity/","links":{"pdf":"http://www.bhoxha.com/papers/CASE2017.pdf"},"bibtex":"@inproceedings{dokhanchi2017vacuity,\n  title = {Vacuity aware falsification for MTL request-response specifications},\n  author = {Dokhanchi, Adel and Yaghoubi, Shakiba and Hoxha, Bardh and Fainekos, Georgios},\n  booktitle = {2017 13th IEEE Conference on Automation Science and Engineering (CASE)},\n  pages = {1332--1337},\n  year = {2017},\n  organization = {IEEE},\n  url = {http://www.bhoxha.com/papers/CASE2017.pdf},\n  keywords = {Testing, Falsification, and Specification}\n}"},{"id":"hoxha2017mining","title":"Mining parametric temporal logic properties in model-based design for cyber-physical systems","authors":["Bardh Hoxha","Adel Dokhanchi","Georgios Fainekos"],"year":"2017","type":"journal","venue":"International Journal on Software Tools for Technology","keywords":["Testing","Falsification","and Specification"],"url":"https://www.bhoxha.com/publications/hoxha2017mining/","links":{"paper":"http://rdcu.be/o1h0"},"bibtex":"@article{hoxha2017mining,\n  title = {Mining parametric temporal logic properties in model-based design for cyber-physical systems},\n  author = {Hoxha, Bardh and Dokhanchi, Adel and Fainekos, Georgios},\n  journal = {International Journal on Software Tools for Technology},\n  pages = {15},\n  year = {2017},\n  publisher = {Springer},\n  url = {http://rdcu.be/o1h0},\n  keywords = {Testing, Falsification, and Specification}\n}"},{"id":"dokhanchi2016efficient","title":"An efficient algorithm for monitoring practical TPTL specifications","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)","keywords":["Runtime Verification and Monitoring"],"url":"https://www.bhoxha.com/publications/dokhanchi2016efficient/","links":{"pdf":"http://www.bhoxha.com/papers/Memocode2016_CameraReady.pdf"},"bibtex":"@inproceedings{dokhanchi2016efficient,\n  title = {An efficient algorithm for monitoring practical TPTL specifications},\n  author = {Dokhanchi, Adel and Hoxha, Bardh and Tuncali, Cumhur Erkan and Fainekos, Georgios},\n  booktitle = {2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)},\n  pages = {184--193},\n  year = {2016},\n  organization = {IEEE},\n  url = {http://www.bhoxha.com/papers/Memocode2016_CameraReady.pdf},\n  keywords = {Runtime Verification and Monitoring}\n}"},{"id":"hoxha2016pareto","title":"Pareto front exploration for parametric temporal logic specifications of cyber-physical systems","authors":["Bardh Hoxha","Georgios Fainekos"],"year":"2016","type":"workshop","venue":"Workshop on Monitoring and Testing of Cyber-Physical Systems","keywords":["Testing","Falsification","and Specification"],"url":"https://www.bhoxha.com/publications/hoxha2016pareto/","links":{"pdf":"http://www.bhoxha.com/papers/MTCPS16_1.pdf"},"bibtex":"@inproceedings{hoxha2016pareto,\n  title = {Pareto front exploration for parametric temporal logic specifications of cyber-physical systems},\n  author = {Hoxha, Bardh and Fainekos, Georgios},\n  booktitle = {Workshop on Monitoring and Testing of Cyber-Physical Systems},\n  year = {2016},\n  url = {http://www.bhoxha.com/papers/MTCPS16_1.pdf},\n  keywords = {Testing, Falsification, and Specification}\n}"},{"id":"dokhanchi2016mitl","title":"MITL specification debugging for monitoring of cyber-physical systems","authors":["Adel Dokhanchi","Bardh Hoxha","Georgios Fainekos"],"year":"2016","type":"conference","venue":"Electronic Proceedings in Theoretical Computer Science, EPTCS","keywords":["Testing","Falsification","and Specification"],"url":"https://www.bhoxha.com/publications/dokhanchi2016mitl/","links":{"pdf":"http://www.bhoxha.com/papers/MTCPS16_2.pdf"},"bibtex":"@article{dokhanchi2016mitl,\n  title = {MITL specification debugging for monitoring of cyber-physical systems},\n  author = {Dokhanchi, Adel and Hoxha, Bardh and Fainekos, Georgios},\n  journal = {Electronic Proceedings in Theoretical Computer Science, EPTCS},\n  volume = {232},\n  pages = {10--13},\n  year = {2016},\n  publisher = {Open Publishing Association},\n  url = {http://www.bhoxha.com/papers/MTCPS16_2.pdf},\n  keywords = {Testing, Falsification, and Specification}\n}"},{"id":"hoxha2016planning","title":"Planning in Dynamic Environments Through Temporal Logic Monitoring","authors":["Bardh Hoxha","Georgios Fainekos"],"year":"2016","type":"workshop","venue":"AAAI Workshop: Planning for Hybrid Systems","keywords":["Optimal Planning and Safe Control","Runtime Verification and Monitoring"],"url":"https://www.bhoxha.com/publications/hoxha2016planning/","links":{"pdf":"http://www.bhoxha.com/papers/PlanHS16.pdf"},"bibtex":"@inproceedings{hoxha2016planning,\n  title = {Planning in Dynamic Environments Through Temporal Logic Monitoring},\n  author = {Hoxha, Bardh and Fainekos, Georgios},\n  booktitle = {AAAI Workshop: Planning for Hybrid Systems},\n  volume = {16},\n  pages = {12},\n  year = {2016},\n  url = {http://www.bhoxha.com/papers/PlanHS16.pdf},\n  keywords = {Optimal Planning and Safe Control, Runtime Verification and Monitoring}\n}"},{"id":"dokhanchi2015metric","title":"Metric interval temporal logic specification elicitation and debugging","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)","keywords":["Testing","Falsification","and Specification"],"url":"https://www.bhoxha.com/publications/dokhanchi2015metric/","links":{"pdf":"http://www.bhoxha.com/papers/memocode2015.pdf"},"bibtex":"@inproceedings{dokhanchi2015metric,\n  title = {Metric interval temporal logic specification elicitation and debugging},\n  author = {Dokhanchi, Adel and Hoxha, Bardh and Fainekos, Georgios},\n  booktitle = {2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE)},\n  pages = {70--79},\n  year = {2015},\n  organization = {IEEE},\n  url = {http://www.bhoxha.com/papers/memocode2015.pdf},\n  keywords = {Testing, Falsification, and Specification}\n}"},{"id":"hoxha2015vispec","title":"VISPEC: A graphical tool for elicitation of MTL requirements","authors":["Bardh Hoxha","Nikolaos Mavridis","Georgios Fainekos"],"year":"2015","type":"conference","venue":"2015 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)","keywords":["Testing","Falsification","and Specification"],"url":"https://www.bhoxha.com/publications/hoxha2015vispec/","links":{"pdf":"http://www.bhoxha.com/papers/iros2015.pdf"},"bibtex":"@inproceedings{hoxha2015vispec,\n  title = {VISPEC: A graphical tool for elicitation of MTL requirements},\n  author = {Hoxha, Bardh and Mavridis, Nikolaos and Fainekos, Georgios},\n  booktitle = {2015 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)},\n  pages = {3486--3492},\n  year = {2015},\n  organization = {IEEE},\n  url = {http://www.bhoxha.com/papers/iros2015.pdf},\n  keywords = {Testing, Falsification, and Specification}\n}"},{"id":"hoxha2014towards","title":"Towards formal specification visualization for testing and monitoring of cyber-physical systems","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","keywords":["Testing","Falsification","and Specification","Runtime Verification and Monitoring"],"url":"https://www.bhoxha.com/publications/hoxha2014towards/","links":{"pdf":"http://www.bhoxha.com/papers/DIFTS2014.pdf"},"bibtex":"@inproceedings{hoxha2014towards,\n  title = {Towards formal specification visualization for testing and monitoring of cyber-physical systems},\n  author = {Hoxha, Bardh and Bach, Hoang and Abbas, Houssam and Dokhanchi, Adel and Kobayashi, Yoshihiro and Fainekos, Georgios},\n  booktitle = {Int. Workshop on Design and Implementation of Formal Tools and Systems},\n  year = {2014},\n  organization = {sn},\n  url = {http://www.bhoxha.com/papers/DIFTS2014.pdf},\n  keywords = {Testing, Falsification, and Specification, Runtime Verification and Monitoring}\n}"},{"id":"dokhanchi2014line","title":"On-line monitoring for temporal logic robustness","authors":["Adel Dokhanchi","Bardh Hoxha","Georgios Fainekos"],"year":"2014","type":"conference","venue":"International Conference on Runtime Verification","keywords":["Runtime Verification and Monitoring"],"url":"https://www.bhoxha.com/publications/dokhanchi2014line/","links":{"pdf":"http://www.bhoxha.com/papers/rv2014tech.pdf"},"bibtex":"@inproceedings{dokhanchi2014line,\n  title = {On-line monitoring for temporal logic robustness},\n  author = {Dokhanchi, Adel and Hoxha, Bardh and Fainekos, Georgios},\n  booktitle = {International Conference on Runtime Verification},\n  pages = {231--246},\n  year = {2014},\n  organization = {Springer International Publishing Cham},\n  url = {http://www.bhoxha.com/papers/rv2014tech.pdf},\n  keywords = {Runtime Verification and Monitoring}\n}"},{"id":"abbas2014conformance","title":"Conformance testing as falsification for cyber-physical systems","authors":["Houssam Abbas","Bardh Hoxha","Georgios Fainekos","Jyotirmoy V Deshmukh","James Kapinski","Koichi Ueda"],"year":"2014","type":"preprint","venue":"arXiv preprint arXiv:1401.5200","keywords":["Testing","Falsification","and Specification"],"url":"https://www.bhoxha.com/publications/abbas2014conformance/","links":{"paper":"https://arxiv.org/abs/1401.5200","pdf":"https://arxiv.org/pdf/1401.5200"},"bibtex":"@article{abbas2014conformance,\n  title = {Conformance testing as falsification for cyber-physical systems},\n  author = {Abbas, Houssam and Hoxha, Bardh and Fainekos, Georgios and Deshmukh, Jyotirmoy V and Kapinski, James and Ueda, Koichi},\n  journal = {arXiv preprint arXiv:1401.5200},\n  year = {2014},\n  url = {http://arxiv.org/abs/1401.5200},\n  keywords = {Testing, Falsification, and Specification}\n}"},{"id":"iccps2014wip","title":"WiP Abstract: Conformance Testing as Falsification for Cyber-Physical Systems","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","keywords":["Testing","Falsification","and Specification"],"url":"https://www.bhoxha.com/publications/iccps2014wip/","links":{"pdf":"http://www.bhoxha.com/papers/iccps2014wip.pdf"},"bibtex":"@inproceedings{iccps2014wip,\n  title = {WiP Abstract: Conformance Testing as Falsification for Cyber-Physical Systems},\n  author = {H. Abbas and B. Hoxha and G. Fainekos and J. V. Deshmukh and J. Kapinski and K. Ueda},\n  booktitle = {ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Berlin, Germany, April 2014},\n  year = {2014},\n  url = {http://www.bhoxha.com/papers/iccps2014wip.pdf},\n  keywords = {Testing, Falsification, and Specification}\n}"},{"id":"abbas2014robustness","title":"Robustness-guided temporal logic testing and verification for stochastic cyber-physical systems","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","keywords":["Testing","Falsification","and Specification","Risk and Stochasticity"],"award":"Finalist for best student paper award","url":"https://www.bhoxha.com/publications/abbas2014robustness/","links":{"pdf":"http://www.bhoxha.com/papers/Cyber2014.pdf"},"bibtex":"@inproceedings{abbas2014robustness,\n  title = {Robustness-guided temporal logic testing and verification for stochastic cyber-physical systems},\n  author = {Abbas, Houssam and Hoxha, Bardh and Fainekos, Georgios and Ueda, Koichi},\n  booktitle = {The 4th Annual IEEE International Conference on Cyber Technology in Automation, Control and Intelligent},\n  pages = {1--6},\n  year = {2014},\n  organization = {IEEE},\n  award = {Finalist for best student paper award},\n  url = {http://www.bhoxha.com/papers/Cyber2014.pdf},\n  keywords = {Testing, Falsification, and Specification, Risk and Stochasticity}\n}"},{"id":"hoxha2014using","title":"Using S-TaLiRo on industrial size automotive models","authors":["Bardh Hoxha","Houssam Abbas","Georgios Fainekos"],"year":"2014","type":"conference","venue":"Proc. of Applied Verification for Continuous and Hybrid Systems","keywords":["Testing","Falsification","and Specification"],"url":"https://www.bhoxha.com/publications/hoxha2014using/","links":{"pdf":"http://www.bhoxha.com/papers/arch2014exp.pdf"},"bibtex":"@article{hoxha2014using,\n  title = {Using S-TaLiRo on industrial size automotive models},\n  author = {Hoxha, Bardh and Abbas, Houssam and Fainekos, Georgios},\n  journal = {Proc. of Applied Verification for Continuous and Hybrid Systems},\n  year = {2014},\n  url = {http://www.bhoxha.com/papers/arch2014exp.pdf},\n  keywords = {Testing, Falsification, and Specification}\n}"},{"id":"hoxhasystem","title":"System Testing with S-TaLiRo: Recent Functionality and Additions","authors":["Bardh Hoxha","Adel Dokhanchi","Georgios Fainekos"],"year":"2014","type":"conference","venue":"ACM International Conference on Hybrid Systems: Computation and Control (HSCC), 2014","keywords":["Testing","Falsification","and Specification"],"url":"https://www.bhoxha.com/publications/hoxhasystem/","links":{"pdf":"http://www.bhoxha.com/papers/hscc2014.pdf"},"bibtex":"@inproceedings{hoxhasystem,\n  title = {System Testing with S-TaLiRo: Recent Functionality and Additions},\n  author = {Hoxha, Bardh and Dokhanchi, Adel and Fainekos, Georgios},\n  booktitle = {ACM International Conference on Hybrid Systems: Computation and Control (HSCC), 2014},\n  year = {2014},\n  url = {http://www.bhoxha.com/papers/hscc2014.pdf},\n  keywords = {Testing, Falsification, and Specification}\n}"},{"id":"yang2012querying","title":"Querying parametric temporal logic properties on embedded systems","authors":["Hengyi Yang","Bardh Hoxha","Georgios Fainekos"],"year":"2012","type":"conference","venue":"IFIP International Conference on Testing Software and Systems","keywords":["Testing","Falsification","and Specification"],"url":"https://www.bhoxha.com/publications/yang2012querying/","links":{"pdf":"http://www.bhoxha.com/papers/ictss2012.pdf"},"bibtex":"@inproceedings{yang2012querying,\n  title = {Querying parametric temporal logic properties on embedded systems},\n  author = {Yang, Hengyi and Hoxha, Bardh and Fainekos, Georgios},\n  booktitle = {IFIP International Conference on Testing Software and Systems},\n  pages = {136--151},\n  year = {2012},\n  organization = {Springer},\n  url = {http://www.bhoxha.com/papers/ictss2012.pdf},\n  keywords = {Testing, Falsification, and Specification}\n}"},{"id":"dokhanchi2018arch","title":"ARCH-COMP18 Category Report: Results on the Falsification Benchmarks","authors":["Adel Dokhanchi","Shakiba Yaghoubi","Bardh Hoxha","Georgios Fainekos","Gidon Ernst","Zhenya Zhang","Paolo Arcaini","Ichiro Hasuo","Sean Sedwards"],"type":"conference","venue":"ARCH","keywords":["Testing","Falsification","and Specification"],"url":"https://www.bhoxha.com/publications/dokhanchi2018arch/","links":{"pdf":"http://www.bhoxha.com/papers/ARCH2018.pdf"},"bibtex":"@inproceedings{dokhanchi2018arch,\n  title = {ARCH-COMP18 Category Report: Results on the Falsification Benchmarks},\n  author = {Dokhanchi, Adel and Yaghoubi, Shakiba and Hoxha, Bardh and Fainekos, Georgios and Ernst, Gidon and Zhang, Zhenya and Arcaini, Paolo and Hasuo, Ichiro and Sedwards, Sean},\n  booktitle = {ARCH},\n  url = {http://www.bhoxha.com/papers/ARCH2018.pdf},\n  keywords = {Testing, Falsification, and Specification}\n}"},{"id":"dokhanchi2017arch","title":"ARCH-COMP17 Category Report: Preliminary Results on the Falsification Benchmarks","authors":["Adel Dokhanchi","Shakiba Yaghoubi","Bardh Hoxha","Georgios Fainekos"],"type":"conference","venue":"ARCH","keywords":["Testing","Falsification","and Specification"],"url":"https://www.bhoxha.com/publications/dokhanchi2017arch/","links":{"pdf":"http://www.bhoxha.com/papers/ARCH2017.pdf"},"bibtex":"@inproceedings{dokhanchi2017arch,\n  title = {ARCH-COMP17 Category Report: Preliminary Results on the Falsification Benchmarks},\n  author = {Dokhanchi, Adel and Yaghoubi, Shakiba and Hoxha, Bardh and Fainekos, Georgios},\n  booktitle = {ARCH},\n  url = {http://www.bhoxha.com/papers/ARCH2017.pdf},\n  keywords = {Testing, Falsification, and Specification}\n}"},{"id":"hoxha2014benchmarks","title":"Benchmarks for Temporal Logic Requirements for Automotive Systems","authors":["Bardh Hoxha","Houssam Abbas","Georgios Fainekos"],"type":"workshop","venue":"Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH)","keywords":["Testing","Falsification","and Specification"],"url":"https://www.bhoxha.com/publications/hoxha2014benchmarks/","links":{"pdf":"http://www.bhoxha.com/papers/arch2014bench.pdf"},"bibtex":"@inproceedings{hoxha2014benchmarks,\n  title = {Benchmarks for Temporal Logic Requirements for Automotive Systems},\n  author = {Hoxha, Bardh and Abbas, Houssam and Fainekos, Georgios},\n  booktitle = {Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH)},\n  url = {http://www.bhoxha.com/papers/arch2014bench.pdf},\n  keywords = {Testing, Falsification, and Specification}\n}"}]