Taolue Chen
|
Dr
Taolue
Chen
Research Assistant
Wolfson Building, Parks Road, Oxford OX1 3QD |
Links
Selected Publications
| On Stochastic Games with Multiple Objectives Taolue Chen‚ Vojtěch Forejt‚ Marta Kwiatkowska‚ Aistis Simaitis and Clemens Wiltsche No. RR−13−06. DCS. 2013. |
| Efficient Probabilistic Parameter Synthesis for Adaptive Systems Taolue Chen‚ Tingting Han‚ Marta Kwiatkowska and Hongyang Qu No. RR−13−04. DCS. 2013. |
| A Compositional Specification Theory for Component Behaviours Taolue Chen‚ Chris Chilton‚ Bengt Jonsson and Marta Kwiatkowska No. CS−RR−12−01. DCS. 2012. |
Info
|
Themes |
|
|
Activities |
Probabilistic Model Checking | Quantitative Analysis and Verification |
|
Projects |
VERIWARE | |
|
Completed Projects |
