TY  - RPRT
TI  - Symbolic Parity Game Solvers that Yield Winning Strategies
AU  - Oebele Lijzenga
AU  - Tom van Dijk
PY  - 2020
DO  - 10.4204/eptcs.326.2
UR  - https://arxiv.org/abs/2009.10876
ID  - 2009.10876
ER  -