TY  - RPRT
TI  - Games on Graphs: From Logic and Automata to Algorithms
AU  - Nathanaël Fijalkow
AU  - C. Aiswarya
AU  - Guy Avni
AU  - Nathalie Bertrand
AU  - Patricia Bouyer
AU  - Romain Brenguier
AU  - Arnaud Carayol
AU  - Antonio Casares
AU  - John Fearnley
AU  - Paul Gastin
AU  - Hugo Gimbert
AU  - Thomas A. Henzinger
AU  - Florian Horn
AU  - Rasmus Ibsen-Jensen
AU  - Nicolas Markey
AU  - Benjamin Monmege
AU  - Petr Novotný
AU  - Pierre Ohlmann
AU  - Mickael Randour
AU  - Ocan Sankur
AU  - Sylvain Schmitz
AU  - Olivier Serre
AU  - Mateusz Skomra
AU  - Nathalie Sznajder
AU  - Pierre Vandenhove
PY  - 2025
UR  - https://arxiv.org/abs/2305.10546
ID  - 2305.10546
ER  -