TY  - RPRT
TI  - Infinite-state games with finitary conditions
AU  - Krishnendu Chatterjee
AU  - Nathanaël Fijalkow
PY  - 2013
UR  - https://arxiv.org/abs/1301.2661
ID  - 1301.2661
ER  -