Magnifying Lens Abstraction for Stochastic Games with Discounted and Long-run Average Objectives

Krishnendu Chatterjee, Luca de Alfaro, Pritam Roy

Turn-based stochastic games and its important subclass Markov decision processes (MDPs) provide models for systems with both probabilistic and nondeterministic behaviors. We consid…