Mohammed Al-Nuaimi

University of Sheffield

论文数

3

总引用数

29

H-Index

3

关于

暂无简介。

研究焦点

Computer science3 · 29 次引用
Programming language3 · 29 次引用
Probabilistic logic2 · 25 次引用
Model checking2 · 25 次引用
Robot2 · 25 次引用
Artificial intelligence2 · 25 次引用
Consistency (knowledge bases)1 · 21 次引用
Real-time computing1 · 21 次引用
Human–computer interaction1 · 21 次引用
Formal verification1 · 21 次引用
Embedded system1 · 21 次引用
Motion planning1 · 21 次引用

主要成就

3
H 指数
3
论文
29
总引用数
10
篇均引用
🏆 最高被引论文
Hybrid Verification Technique for Decision-Making of Self-Driving Vehicles
21 次引用 · 2021
📈 最高产年份: 2018 (2 论文)
🤝 主要合作者: 4
🏛 所属机构: University of Sheffield

代表论文

  1. 1
    Hybrid Verification Technique for Decision-Making of Self-Driving Vehicles
    21 次引用 · 2021
  2. 2
    Computational Framework for Verifiable Decisions of Self-Driving Vehicles
    4 次引用 · 2018
  3. 3
    A stochastically verifiable decision making framework for autonomous ground vehicles
    4 次引用 · 2018

主要合作者

HQHongyang Qu3 篇合著论文SMSándor M. Veres3 篇合著论文SWSapto Wibowo1 篇合著论文JMJonathan M. Aitken1 篇合著论文
尚未生成