Expectation in Stochastic Games with Prefix-independent Objectives

Laurent Doyen, Pranshu Gaba, Shibashis Guha

Stochastic two-player games model systems with an environment that is both adversarial and stochastic. In this paper, we study the expected value of bounded quantitative prefix-ind…