Clemens Wiltsche : Publications

Click here to download all publications in a single bibtex file

@techreport{CS-RR-16-03,
  title = "Compositional Strategy Synthesis for Stochastic Games with Multiple Objectives",
  author = "Nicolas Basset and Marta Kwiatkowska and Clemens Wiltsche",
  year = "2016",
  address = "Oxford, UK",
  institution = "Department of Computer Science",
  pages = "79",
}

@techreport{RR-14-10,
  title = "Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives",
  author = "Nicolas Basset and Marta Kwiatkowska and Ufuk Topcu and Clemens Wiltsche",
  year = "2014",
  institution = "DCS",
  number = "RR-14-10",
  pages = "30",
}

@techreport{RR-14-05,
  title = "Compositional Controller Synthesis for Stochastic Games",
  author = "Nicolas Basset and Marta Kwiatkowska and Clemens Wiltsche",
  year = "2014",
  institution = "DCS",
  number = "RR-14-05",
  pages = "26",
}

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