A Look Back at Strategy Logic (Invited Contribution for the Test-of-Time Award).

Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman

Browse the full CONCUR paper archive.