Abstract Interpretation of Game Properties.

Thomas A. Henzinger, Rupak Majumdar, Freddy Y. C. Mang, Jean-Franois Raskin

Browse the full SAS paper archive.