Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games.

Marta Grobelna, Jan Kretnsk, Maximilian Weininger

Browse the full LICS paper archive.