2 papers
cs.LO2024
Beyond Decisiveness of Infinite Markov Chains
Benoît Barbot, Patricia Bouyer, Serge Haddad
Verification of infinite-state Markov chains is still a challenge despite several fruitful numerical or statistical approaches. For decisive Markov chains, there is a simple numeri…
cs.GT2023
From Local To Global Optimality in Concurrent Parity Games
Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux
We study two-player games on finite graphs. Turn-based games have many nice properties, but concurrent games are harder to tame: e.g. turn-based stochastic parity games have positi…