Clemens Wiltsche : Publications
-
[1]
Compositional Strategy Synthesis for Stochastic Games with Multiple Objectives
Nicolas Basset‚ Marta Kwiatkowska and Clemens Wiltsche
Department of Computer Science. Oxford‚ UK. 2016.
Details about Compositional Strategy Synthesis for Stochastic Games with Multiple Objectives | BibTeX data for Compositional Strategy Synthesis for Stochastic Games with Multiple Objectives | Download (pdf) of Compositional Strategy Synthesis for Stochastic Games with Multiple Objectives
-
[2]
Strategy Synthesis for Stochastic Games with Multiple Long−Run Objectives
Nicolas Basset‚ Marta Kwiatkowska‚ Ufuk Topcu and Clemens Wiltsche
No. RR−14−10. DCS. 2014.
Details about Strategy Synthesis for Stochastic Games with Multiple Long−Run Objectives | BibTeX data for Strategy Synthesis for Stochastic Games with Multiple Long−Run Objectives | Download (pdf) of Strategy Synthesis for Stochastic Games with Multiple Long−Run Objectives
-
[3]
Compositional Controller Synthesis for Stochastic Games
Nicolas Basset‚ Marta Kwiatkowska and Clemens Wiltsche
No. RR−14−05. DCS. 2014.
Details about Compositional Controller Synthesis for Stochastic Games | BibTeX data for Compositional Controller Synthesis for Stochastic Games | Download (pdf) of Compositional Controller Synthesis for Stochastic Games
-
[4]
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