Language-based Games.

Adam Bjorndahl, Joseph Y. Halpern, Rafael Pass

Browse the full TARK paper archive.