TY  - RPRT
TI  - Succinct progress measures for solving parity games
AU  - Marcin Jurdzinski
AU  - Ranko Lazic
PY  - 2018
DO  - 10.1109/lics.2017.8005092
UR  - https://arxiv.org/abs/1702.05051
ID  - 1702.05051
ER  -