Paper at LICS 2020

The paper entitled “Approximating Values of Generalized-Reachability Stochastic Games” by Pranav Ashok, Krishnendu Chatterjee, Jan Kretinsky, Maximilian Weininger and Tobias Winkler has been accepted for presentation at LICS 2020. The main result of the paper is an algorithm to compute the Pareto curve for several objectives in two-player stochastic games.