Taolue Chen : Publications
Click here to download all publications in a single bibtex file
@techreport{RR-13-06, title = "On Stochastic Games with Multiple Objectives", author = "Taolue Chen and Vojt\v{e}ch Forejt and Marta Kwiatkowska and Aistis Simaitis and Clemens Wiltsche", year = "2013", institution = "DCS", number = "RR-13-06", pages = "33", }
@techreport{RR-13-04, title = "Efficient Probabilistic Parameter Synthesis for Adaptive Systems", author = "Taolue Chen and Tingting Han and Marta Kwiatkowska and Hongyang Qu", year = "2013", institution = "DCS", number = "RR-13-04", pages = "13", }
@techreport{CS-RR-12-01, title = "A Compositional Specification Theory for Component Behaviours", author = "Taolue Chen and Chris Chilton and Bengt Jonsson and Marta Kwiatkowska", year = "2012", institution = "DCS", number = "CS-RR-12-01", pages = "35", }
@techreport{RR-12-03, title = "PLAYING STOCHASTIC GAMES PRECISELY", author = "Taolue Chen and Vojtech Forejt and Marta Kwiatkowska and Aistis Simaitis and Ashutosh Trivedi and Michael Ummels", year = "2012", affiliation = "DCS", number = "RR-12-03", pages = "21", }
@techreport{RR-11-11, title = "Automatic Verification of Competitive Stochastic Systems", author = "Taolue Chen and Vojtech Forejt and Marta Kwiatkowska and David Parker and Aistis Simaitis", year = "2011", institution = "DCS", number = "RR-11-11", pages = "25", }