@article{Svore_ov__2016,
    doi = {10.1016/j.ejcon.2016.04.009},
    url = {https://doi.org/10.1016%2Fj.ejcon.2016.04.009},
    year = {2016},
    month = {jul},
    publisher = {Elsevier {BV}},
    volume = {30},
    pages = {15--30},
    author = {M{\'{a}}ria Svore{\v{n}}ov{\'{a}} and Marta Kwiatkowska},
    title = {Quantitative verification and strategy synthesis for stochastic games},
    journal = {European Journal of Control}
}

@article{Svore_ov__2016, doi = {10.1016/j.ejcon.2016.04.009}, url = {https://doi.org/10.1016%2Fj.ejcon.2016.04.009}, year = {2016}, month = {jul}, publisher = {Elsevier {BV}}, volume = {30}, pages = {15--30}, author = {M{\'{a}}ria Svore{\v{n}}ov{\'{a}} and Marta Kwiatkowska}, title = {Quantitative verification and strategy synthesis for stochastic games}, journal = {European Journal of Control} }