TY  - RPRT
TI  - Smaller Progress Measures and Separating Automata for Parity Games
AU  - Daniele Dell'Erba
AU  - Sven Schewe
PY  - 2022
DO  - 10.3389/fcomp.2022.936903
UR  - https://arxiv.org/abs/2205.00744
ID  - 2205.00744
ER  -