Hongyang Qu

Imperial College London, University of Sheffield

论文数

11

总引用数

352

H-Index

5

关于

暂无简介。

研究焦点

Computer science11 · 352 次引用
Artificial intelligence10 · 348 次引用
Programming language7 · 339 次引用
Model checking5 · 333 次引用
Temporal logic3 · 299 次引用
Theoretical computer science3 · 299 次引用
Computer security2 · 294 次引用
Multi-agent system1 · 290 次引用
Description logic1 · 290 次引用
Multimodal logic1 · 290 次引用
Epistemic modal logic1 · 290 次引用
Anonymity1 · 290 次引用

主要成就

5
H 指数
11
论文
352
总引用数
32
篇均引用
🏆 最高被引论文
MCMAS: A Model Checker for the Verification of Multi-Agent Systems
290 次引用 · 2009
📈 最高产年份: 2018 (3 论文)
🤝 主要合作者: 10
🏛 所属机构: Imperial College London, University of Sheffield

代表论文

  1. 1
    MCMAS: A Model Checker for the Verification of Multi-Agent Systems
    290 次引用 · 2009
  2. 2
    Hybrid Verification Technique for Decision-Making of Self-Driving Vehicles
    21 次引用 · 2021
  3. 3
    Testing, Verification and Improvements of Timeliness in ROS Processes
    11 次引用 · 2016
  4. 4
    Verification of logical consistency in robotic reasoning
    7 次引用 · 2016
  5. 5
    Improving Multi-Robot Coordination by Game-Theoretic Learning Algorithms
    6 次引用 · 2018
  6. 6
    Computational Framework for Verifiable Decisions of Self-Driving Vehicles
    4 次引用 · 2018
  7. 7
    A stochastically verifiable decision making framework for autonomous ground vehicles
    4 次引用 · 2018
  8. 8
    Formulating Robot Pursuit-Evasion Strategies by Model Checking
    3 次引用 · 2014
  9. 9
    Improving Multi-robot Coordination by Game-Theoretic Learning Algorithms
    2 次引用 · 2017
  10. 10
    On efficient consistency checks by robots
    2 次引用 · 2014

主要合作者

SMSándor M. Veres10 篇合著论文MSMichalis Smyrnakis3 篇合著论文MAMohammed Al-Nuaimi3 篇合著论文ALAlessio Lomuscio1 篇合著论文JMJonathan M. Aitken1 篇合著论文FRFranco Raimondi1 篇合著论文MYMohammed Y. Hazim1 篇合著论文AKAndreas Kolling1 篇合著论文DBDario Bauso1 篇合著论文SWSapto Wibowo1 篇合著论文
尚未生成