@article{Baier_2012,
    doi = {10.1007/s00236-012-0156-0},
    url = {https://doi.org/10.1007%2Fs00236-012-0156-0},
    year = {2012},
    month = {jun},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {49},
    number = {4},
    pages = {203--224},
    author = {Christel Baier and Tom{\'{a}}{\v{s}} Br{\'{a}}zdil and Marcus Grö{\ss}er and Anton{\'{\i}}n Ku{\v{c}}era},
    title = {Stochastic game logic},
    journal = {Acta Informatica}
}

@article{Baier_2012, doi = {10.1007/s00236-012-0156-0}, url = {https://doi.org/10.1007%2Fs00236-012-0156-0}, year = {2012}, month = {jun}, publisher = {Springer Science and Business Media {LLC}}, volume = {49}, number = {4}, pages = {203--224}, author = {Christel Baier and Tom{\'{a}}{\v{s}} Br{\'{a}}zdil and Marcus Grö{\ss}er and Anton{\'{\i}}n Ku{\v{c}}era}, title = {Stochastic game logic}, journal = {Acta Informatica} }