Ashok, P., Chatterjee, K., Kretinsky, J., Weininger, M., &; Winkler, T. (2020). Approximating values of generalized-reachability stochastic games. In Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science  (pp. 102–115). Saarbrücken, Germany: Association for Computing Machinery.https://doi.org/10.1145/3373718.3394761