Parameterized Algorithms for Parity Games

Jakub Gajarský and Michael Lampis and Kazuhisa Makino and Valia Mitsou and Sebastian Ordyniak
January 2015
Cite
Type
Conference Paper