Bardh Hoxha

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

论文数

13

总引用数

117

H-Index

5

关于

暂无简介。

研究焦点

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

主要成就

5
H 指数
13
论文
117
总引用数
9
篇均引用
🏆 最高被引论文
VISPEC: A graphical tool for elicitation of MTL requirements
30 次引用 · 2015
📈 最高产年份: 2024 (4 论文)
🤝 主要合作者: 23
🏛 所属机构: Arizona State University, Toyota Research Institute, Toyota Motor Corporation (United States), Toyota Motor Corporation (Switzerland)

代表论文

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

主要合作者

GFGeorgios Fainekos11 篇合著论文DPDanil Prokhorov5 篇合著论文MBMitchell Black4 篇合著论文HOHideki Okamoto4 篇合著论文TYTomoya Yamaguchi3 篇合著论文DPDimitra Panagou3 篇合著论文JVJyotirmoy V. Deshmukh2 篇合著论文HPHardik Parwana2 篇合著论文KMKeyvan Majd1 篇合著论文NMNikolaos Mavridis1 篇合著论文SYShakiba Yaghoubi1 篇合著论文PCPei-Wei Chen1 篇合著论文TKTae-Kyung Kim1 篇合著论文XWXinyi Wang1 篇合著论文SASanjit A. Seshia1 篇合著论文DNDejan Ničković1 篇合著论文KLKehan Long1 篇合著论文NANikolay Atanasov1 篇合著论文VMVictoria Marie Tuck1 篇合著论文YZYiqi Zhao1 篇合著论文
尚未生成