6 citations · 6 across the 2 of their papers we have counts for
2 papers
cs.LO2026
Antichains for Concurrent Parameterized Games
Nathalie Bertrand, Patricia Bouyer, Gaëtan Staquet
Concurrent parameterized games involve a fixed yet arbitrary number of players. They are described by finite arenas in which the edges are labeled with languages that describe the…
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…