Symbolic Algorithms for Infinite-State Games.

Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar

Browse the full CONCUR paper archive.