Bardh Hoxha

Arizona State University, Toyota Research Institute, Toyota Motor Corporation (United States), Toyota Motor Corporation (Switzerland)

Papers

13

Total Citations

117

H-Index

5

About

No biography available yet.

Research Focus

Computer science11 · 113 citations
Artificial intelligence11 · 113 citations
Robot9 · 81 citations
Engineering3 · 71 citations
Programming language5 · 64 citations
Human–computer interaction3 · 58 citations
Real-time computing3 · 53 citations
Control (management)4 · 46 citations
Mobile robot3 · 45 citations
Motion planning3 · 43 citations
Formal methods2 · 34 citations
Formal specification2 · 34 citations

Key Achievements

5
H-Index
13
Papers
117
Total Citations
9
Avg Citations/Paper
🏆 Most Cited Paper
VISPEC: A graphical tool for elicitation of MTL requirements
30 citations · 2015
📈 Most Prolific Year: 2024 (4 Papers)
🤝 Key Collaborators: 23
🏛 Institutions: Arizona State University, Toyota Research Institute, Toyota Motor Corporation (United States), Toyota Motor Corporation (Switzerland)

Top Papers

  1. 1
    VISPEC: A graphical tool for elicitation of MTL requirements
    30 citations · 2015
  2. 2
    Safe Navigation in Human Occupied Environments Using Sampling and Control Barrier Functions
    26 citations · 2021
  3. 3
    Safety Under Uncertainty: Tight Bounds with Risk-Aware Control Barrier Functions
    15 citations · 2023
  4. 4
    Planning in Dynamic Environments Through Temporal Logic Monitoring
    15 citations · 2016
  5. 5
    RTAMT – Runtime Robustness Monitors with Application to CPS and Robotics
    12 citations · 2023
  6. 6
    Specification-guided Software Fault Localization for Autonomous Mobile Systems
    4 citations · 2020
  7. 7
    Risk-Aware Fixed-Time Stabilization of Stochastic Systems Under Measurement Uncertainty
    3 citations · 2024
  8. 8
    CBFkit: A Control Barrier Function Toolbox for Robotics Applications
    3 citations · 2024
  9. 9
    Neural Configuration Distance Function for Continuum Robot Control
    2 citations · 2025
  10. 10
    Safe Navigation in Uncertain Crowded Environments Using Risk Adaptive CVaR Barrier Functions
    2 citations · 2025

Key Collaborators

GFGeorgios Fainekos11 shared papersDPDanil Prokhorov5 shared papersMBMitchell Black4 shared papersHOHideki Okamoto4 shared papersTYTomoya Yamaguchi3 shared papersDPDimitra Panagou3 shared papersJVJyotirmoy V. Deshmukh2 shared papersHPHardik Parwana2 shared papersKMKeyvan Majd1 shared papersNMNikolaos Mavridis1 shared papersSYShakiba Yaghoubi1 shared papersPCPei-Wei Chen1 shared papersTKTae-Kyung Kim1 shared papersXWXinyi Wang1 shared papersSASanjit A. Seshia1 shared papersDNDejan Ničković1 shared papersKLKehan Long1 shared papersNANikolay Atanasov1 shared papersVMVictoria Marie Tuck1 shared papersYZYiqi Zhao1 shared papers
Not generated yet