Strategy Complexity of Büchi and Transience Objectives in Concurrent Stochastic Games

Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi +1

We study 2-player zero-sum concurrent (i.e., simultaneous move) stochastic Büchi games and Transience games on countable graphs. Two players, Max and Min, seek respectively to max…