Infinite-state games with finitary conditions.

Krishnendu Chatterjee, Nathanal Fijalkow

Browse the full CSL paper archive.