Hongyang Qu
Papers
11
Total Citations
352
H-Index
5
About
No biography available yet.
Research Focus
Computer science11 · 352 citations
Artificial intelligence10 · 348 citations
Programming language7 · 339 citations
Model checking5 · 333 citations
Temporal logic3 · 299 citations
Theoretical computer science3 · 299 citations
Computer security2 · 294 citations
Multi-agent system1 · 290 citations
Description logic1 · 290 citations
Multimodal logic1 · 290 citations
Epistemic modal logic1 · 290 citations
Anonymity1 · 290 citations
Key Achievements
5
H-Index
11
Papers
352
Total Citations
32
Avg Citations/Paper
🏆 Most Cited Paper
MCMAS: A Model Checker for the Verification of Multi-Agent Systems
290 citations · 2009
📈 Most Prolific Year: 2018 (3 Papers)
🤝 Key Collaborators: 10
🏛 Institutions: Imperial College London, University of Sheffield
Top Papers
- 1MCMAS: A Model Checker for the Verification of Multi-Agent Systems290 citations · 2009
- 2Hybrid Verification Technique for Decision-Making of Self-Driving Vehicles21 citations · 2021
- 3Testing, Verification and Improvements of Timeliness in ROS Processes11 citations · 2016
- 4Verification of logical consistency in robotic reasoning7 citations · 2016
- 5Improving Multi-Robot Coordination by Game-Theoretic Learning Algorithms6 citations · 2018
- 6
- 7
- 8Formulating Robot Pursuit-Evasion Strategies by Model Checking3 citations · 2014
- 9Improving Multi-robot Coordination by Game-Theoretic Learning Algorithms2 citations · 2017
- 10On efficient consistency checks by robots2 citations · 2014
Key Collaborators
SMSándor M. Veres10 shared papersMSMichalis Smyrnakis3 shared papersMAMohammed Al-Nuaimi3 shared papersALAlessio Lomuscio1 shared papersJMJonathan M. Aitken1 shared papersFRFranco Raimondi1 shared papersMYMohammed Y. Hazim1 shared papersAKAndreas Kolling1 shared papersDBDario Bauso1 shared papersSWSapto Wibowo1 shared papers
Not generated yet