Antichains for Concurrent Parameterized Games
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 possible move combinations leading from one vertex to another (n players yield a word of length n). Previous work showed that, when edge lab...
Nathalie Bertrand, Patricia Bouyer, Gaëtan Staquet
· Electronic Proceedings in Th... · 0 citations