bibtex

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

URL


Contact | Site Map | Site powered by SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4189093