Hongyang Qu
| Department of Computing
| HOME |
Research Interests
Automated verification, Model checking, Multi-agent systems, Temporal logic and Software testing.
Hongyang Qu| Department of Computing |
||||||
|
||||||
|
||||||
|
|
Research Interests
Automated verification, Model checking, Multi-agent systems, Temporal logic and Software testing.
|
||||
|
||||||