TY  - RPRT
TI  - Improved Set-based Symbolic Algorithms for Parity Games
AU  - Krishnendu Chatterjee
AU  - Wolfgang Dvořák
AU  - Monika Henzinger
AU  - Veronika Loitzenbauer
PY  - 2017
UR  - https://arxiv.org/abs/1706.04889
ID  - 1706.04889
ER  -