Symmetry Reduction in Infinite Games with Finite Branching.

Nicolas Markey, Steen Vester

Browse the full ATVA paper archive.