Strategy Logic.

Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman

Browse the full CONCUR paper archive.