52 citations · 142 across the 23 of their papers we have counts for
Showing 2012 · cs.LOShow all
2 papers · 2 filters
cs.LO2012★ 6 cited
Solving Stochastic Büchi Games on Infinite Arenas with a Finite Attractor
Nathalie Bertrand, Philippe Schnoebelen
We consider games played on an infinite probabilistic arena where the first player aims at satisfying generalized Büchi objectives almost surely, i.e., with probability one. We pro…
cs.LO2012★ 5 cited
Bounded Satisfiability for PCTL
Nathalie Bertrand, John Fearnley, Sven Schewe
While model checking PCTL for Markov chains is decidable in polynomial-time, the decidability of PCTL satisfiability, as well as its finite model property, are long standing open p…