Hongyang Qu
|
Dr Hongyang Qu
Research Assistant
Hongyang.Qu@cs.ox.ac.uk
+44-(0)1865-610715
+44-(0)1865-273839 (fax)
Wolfson Building, Parks Road, Oxford OX1 3QD |
Interests
I am participating in the development of the probabilistic model checker PRISM, and leading the development of MCMAS (a model checker for multi-agent system).
My publication can be found at my DBLP entry.
Info
|
Themes |
|
|
Activities |
Probabilistic Model Checking | PRISM | Quantitative Analysis and Verification |
|
Projects |
