A constraint-based approach to solving games on infinite graphs.

Tewodros A. Beyene, Swarat Chaudhuri, Corneliu Popeea, Andrey Rybalchenko

Browse the full POPL paper archive.