Taolue Chen
|
Dr Taolue Chen
Research Assistant
Wolfson Building, Parks Road, Oxford OX1 3QD |
Links
Selected Publications
| Automatic Verification of Competitive Stochastic Systems Taolue Chen‚ Vojtech Forejt‚ Marta Kwiatkowska‚ David Parker and Aistis Simaitis No. RR−11−11. DCS. 2011. |
Info
|
Themes |
|
|
Activities |
Probabilistic Model Checking | Quantitative Analysis and Verification |
|
Projects |
