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.
Details about On Stochastic Games with Multiple Objectives | BibTeX data for On Stochastic Games with Multiple Objectives | Download (pdf) of On Stochastic Games with Multiple Objectives
-
[2]
Efficient Probabilistic Parameter Synthesis for Adaptive Systems
Taolue Chen‚ Tingting Han‚ Marta Kwiatkowska and Hongyang Qu
No. RR−13−04. DCS. 2013.
Details about Efficient Probabilistic Parameter Synthesis for Adaptive Systems | BibTeX data for Efficient Probabilistic Parameter Synthesis for Adaptive Systems | Download (pdf) of Efficient Probabilistic Parameter Synthesis for Adaptive Systems
-
[3]
A Compositional Specification Theory for Component Behaviours
Taolue Chen‚ Chris Chilton‚ Bengt Jonsson and Marta Kwiatkowska
No. CS−RR−12−01. DCS. 2012.
Details about A Compositional Specification Theory for Component Behaviours | BibTeX data for A Compositional Specification Theory for Component Behaviours | Download (pdf) of A Compositional Specification Theory for Component Behaviours
-
[4]
PLAYING STOCHASTIC GAMES PRECISELY
Taolue Chen‚ Vojtech Forejt‚ Marta Kwiatkowska‚ Aistis Simaitis‚ Ashutosh Trivedi and Michael Ummels
No. RR−12−03. 2012.
Details about PLAYING STOCHASTIC GAMES PRECISELY | BibTeX data for PLAYING STOCHASTIC GAMES PRECISELY | Download (pdf) of PLAYING STOCHASTIC GAMES PRECISELY
-
[5]
Automatic Verification of Competitive Stochastic Systems
Taolue Chen‚ Vojtech Forejt‚ Marta Kwiatkowska‚ David Parker and Aistis Simaitis
No. RR−11−11. DCS. 2011.
Details about Automatic Verification of Competitive Stochastic Systems | BibTeX data for Automatic Verification of Competitive Stochastic Systems | Download (pdf) of Automatic Verification of Competitive Stochastic Systems