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",
}