Parameterized complexity of games with monotonically ordered omega-regular objectives.

Vronique Bruyre, Quentin Hautem, Jean-Franois Raskin

Browse the full CONCUR paper archive.