Strategy logic with imperfect information.

Raphal Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi

Browse the full LICS paper archive.