@article{BKW8,
title = { Compositional strategy synthesis for stochastic games with multiple objectives },
author = {Basset, Nicolas and Kwiatkowska, Marta Z. and Wiltsche, Clemens},
year = {2018},
journal = {Inf. Comput.},
pages = {536--587},
volume = {261},
team = {axe_Mohytos, TEMPO},
timestamp = {Thu, 21 Jun 2018 12:18:13 +0200},
biburl = {https://dblp.org/rec/bib/journals/iandc/BassetKW18},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
