Taolue Chen : Publications
|
[1] |
On Stochastic Games with Multiple Objectives Taolue Chen‚ Vojtěch Forejt‚ Marta Kwiatkowska‚ Aistis Simaitis and Clemens Wiltsche No. RR−13−06. DCS. 2013. |
|
[2] |
Efficient Probabilistic Parameter Synthesis for Adaptive Systems Taolue Chen‚ Tingting Han‚ Marta Kwiatkowska and Hongyang Qu No. RR−13−04. DCS. 2013. |
|
[3] |
A Compositional Specification Theory for Component Behaviours Taolue Chen‚ Chris Chilton‚ Bengt Jonsson and Marta Kwiatkowska No. CS−RR−12−01. DCS. 2012. |
|
[4] |
PLAYING STOCHASTIC GAMES PRECISELY Taolue Chen‚ Vojtech Forejt‚ Marta Kwiatkowska‚ Aistis Simaitis‚ Ashutosh Trivedi and Michael Ummels No. RR−12−03. 2012. |
|
[5] |
Automatic Verification of Competitive Stochastic Systems Taolue Chen‚ Vojtech Forejt‚ Marta Kwiatkowska‚ David Parker and Aistis Simaitis No. RR−11−11. DCS. 2011. |