TY  - RPRT
TI  - Parameterized complexity of games with monotonically ordered ω-regular objectives
AU  - Véronique Bruyère
AU  - Quentin Hautem
AU  - Jean-François Raskin
PY  - 2018
UR  - https://arxiv.org/abs/1707.05968
ID  - 1707.05968
ER  -