Antichains for Concurrent Parameterized Games (Long Version)

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…