Hoxha, Bardh
- Robust Conformal Prediction for STL Runtime Verification under Distribution Shift
2023/11/16 by Yiqi Zhao, Zhao, Yiqi, Bardh Hoxha +7 · 5 citations
Computer Science · Decision Sciences · #Software Reliability and Analysis Research #Formal Methods in Verification #Simulation Techniques and Applications
- On-Line Monitoring for Temporal Logic Robustness
2014/07/31 by Dokhanchi, Adel, Hoxha, Bardh, Fainekos, Georgios · 2 citations
#FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
- A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems
2023/03/07 by Hashemi, Navid, Hoxha, Bardh, Yamaguchi, Tomoya +3 · 2 citations
#FOS: Computer and information sciences #FOS: Electrical engineering #Machine Learning (cs.LG) #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Safe Control Synthesis for Hybrid Systems through Local Control Barrier Functions
2023/11/28 by Yang, Shuo, Black, Mitchell, Fainekos, Georgios +3 · 2 citations
#FOS: Computer and information sciences #FOS: Electrical engineering #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Safe Navigation in Uncertain Crowded Environments Using Risk Adaptive CVaR Barrier Functions
2025/04/09 by Wang, Xinyi, Kim, Taekyung, Hoxha, Bardh +2 · 4 citations
#FOS: Computer and information sciences #Robotics (cs.RO)
- From Dashcam Videos to Driving Simulations: Stress Testing Automated Vehicles against Rare Events
2024/11/25 by Miao, Yan, Fainekos, Georgios, Hoxha, Bardh +3 · 2 citations
#Artificial Intelligence (cs.AI) #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences
- Timed Partial Order Inference Algorithm
2023/02/05 by Watanabe, Kandai, Hoxha, Bardh, Prokhorov, Danil +4 · 1 citation
#FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL)
- Neural Configuration Distance Function for Continuum Robot Control
2024/09/20 by Kehan Long, Long, Kehan, Hardik Parwana +9 · 2 citations
Engineering · #Robot Manipulation and Learning
- Risk-aware MPPI for Stochastic Hybrid Systems
2024/11/14 by Hardik Parwana, Parwana, Hardik, Mitchell Black +11 · 1 citation
Engineering · #FOS: Computer and information sciences #Fault Detection and Control Systems #Robotics (cs.RO)
- Safe Model Predictive Diffusion with Shielding
2025/12/06 by Kim, Taekyung, Majd, Keyvan, Okamoto, Hideki +3 · 1 citation
Computer Science · Physics and Astronomy · #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #Generative Adversarial Networks and Image Synthesis #Model Reduction and Neural Networks #Robotics (cs.RO)
- Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications
2025/04/03 by Zhao, Yiqi, Zhu, Emily, Hoxha, Bardh +3 · 1 citation
#FOS: Computer and information sciences #FOS: Electrical engineering #Logic in Computer Science (cs.LO) #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering