Strategy Construction in Infinite Ganes with Streett and Rabin Chain Winning Conditions.

Nils Buhrke, Helmut Lescow, Jens Vge

Browse the full TACAS paper archive.