Hongyang Qu

About

Hongyang Qu is a leading researcher at the intersection of formal verification, multi-agent systems, and autonomous robotics. His most influential work includes the development of MCMAS, a model checker for verifying multi-agent systems, which has garnered over 290 citations and become a foundational tool in the field. Qu’s recent contributions focus on ensuring the safety and reliability of self-driving vehicles through hybrid verification techniques that combine simulation with formal logic. His 2021 paper on this topic (21 citations) addresses the critical challenge of accounting for all possible traffic scenarios in autonomous driving. Qu has also advanced multi-robot coordination using game-theoretic learning algorithms, demonstrating how potential games can enable robots with shared objectives to learn cooperative behaviors by observing each other’s actions. His work on verifying logical consistency in robotic reasoning and improving timeliness in ROS processes further underscores his commitment to building trustworthy autonomous systems. With a career spanning foundational verification tools to cutting-edge autonomous vehicle safety, Qu’s research continues to shape how we design, test, and deploy intelligent multi-agent systems in safety-critical environments.

Research Focus

Key Achievements

Top Papers

1. 1
   MCMAS: A Model Checker for the Verification of Multi-Agent Systems

   290 citations · 2009
2. 2
   Hybrid Verification Technique for Decision-Making of Self-Driving Vehicles

   21 citations · 2021
3. 3
   Testing, Verification and Improvements of Timeliness in ROS Processes

   11 citations · 2016
4. 4
   Verification of logical consistency in robotic reasoning

   7 citations · 2016
5. 5
   Improving Multi-Robot Coordination by Game-Theoretic Learning Algorithms

   6 citations · 2018
6. 6
   Computational Framework for Verifiable Decisions of Self-Driving Vehicles

   4 citations · 2018
7. 7
   A stochastically verifiable decision making framework for autonomous ground vehicles

   4 citations · 2018
8. 8
   Formulating Robot Pursuit-Evasion Strategies by Model Checking

   3 citations · 2014
9. 9
   Improving Multi-robot Coordination by Game-Theoretic Learning Algorithms

   2 citations · 2017
10. 10
    On efficient consistency checks by robots

    2 citations · 2014

Key Collaborators

Contact & Links