Papers
13
Total Citations
117
H-Index
5
About
Bardh Hoxha is a leading researcher in formal methods and safety-critical robotics, whose work bridges the gap between rigorous mathematical verification and practical autonomous systems. His primary research areas include formal specification elicitation, temporal logic monitoring, and control barrier functions for safe navigation under uncertainty. Hoxha’s major contributions include the development of VISPEC, a graphical tool for eliciting Metric Temporal Logic (MTL) requirements that has garnered 30 citations and addresses a key barrier to formal methods adoption. He also pioneered the integration of Control Barrier Functions (CBFs) with sampling-based planners, as demonstrated in his highly cited 2021 work on safe navigation in human-occupied environments (26 citations). His innovative Risk-Aware Control Barrier Functions (RA-CBFs), published in 2023, provide tight safety bounds for stochastic systems, earning 15 citations and advancing the state of the art in safety-critical control. Hoxha has also developed practical tools like RTAMT for runtime monitoring and CBFkit for robotics applications. His work consistently addresses real-world challenges in autonomous mobile systems, from self-driving vehicles to continuum robots, making him a pivotal figure in ensuring the safe deployment of autonomous systems in dynamic, uncertain environments.
Research Focus
Key Achievements
Top Papers
- 1VISPEC: A graphical tool for elicitation of MTL requirements30 citations · 2015
- 2
- 3
- 4Planning in Dynamic Environments Through Temporal Logic Monitoring15 citations · 2016
- 5RTAMT – Runtime Robustness Monitors with Application to CPS and Robotics12 citations · 2023
- 6
- 7
- 8CBFkit: A Control Barrier Function Toolbox for Robotics Applications3 citations · 2024
- 9Neural Configuration Distance Function for Continuum Robot Control2 citations · 2025
- 10