2 citations · 5 across the 8 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.LO2022
Strategy Synthesis for Global Window PCTL
Benjamin Bordais, Damien Busatto-Gaston, Shibashis Guha +1
Given a Markov decision process (MDP) and a formula , the strategy synthesis problem asks if there exists a strategy s.t. the resulting Markov chain satisfies …
cs.GT2022★ 1 cited
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…