Playing (Almost-)Optimally in Concurrent Büchi and co-Büchi Games

Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux

We study two-player concurrent stochastic games on finite graphs, with Büchi and co-Büchi objectives. The goal of the first player is to maximize the probability of satisfying the…