@inproceedings{Ashok_2020,
    doi = {10.1145/3373718.3394761},
    url = {https://doi.org/10.1145%2F3373718.3394761},
    year = {2020},
    month = {jul},
    publisher = {{ACM}},
    author = {Pranav Ashok and Krishnendu Chatterjee and Jan K{\v{r}}et{\'{\i}}nsk{\'{y}} and Maximilian Weininger and Tobias Winkler},
    title = {Approximating Values of Generalized-Reachability Stochastic Games},
    booktitle = {Proceedings of the 35th Annual {ACM}/{IEEE} Symposium on Logic in Computer Science}
}

@inproceedings{Ashok_2020, doi = {10.1145/3373718.3394761}, url = {https://doi.org/10.1145%2F3373718.3394761}, year = {2020}, month = {jul}, publisher = {{ACM}}, author = {Pranav Ashok and Krishnendu Chatterjee and Jan K{\v{r}}et{\'{\i}}nsk{\'{y}} and Maximilian Weininger and Tobias Winkler}, title = {Approximating Values of Generalized-Reachability Stochastic Games}, booktitle = {Proceedings of the 35th Annual {ACM}/{IEEE} Symposium on Logic in Computer Science} }