Strategy Logic with Simple Goals: Tractable Reasoning about Strategies.

Francesco Belardinelli, Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone, Aniello Murano

Browse the full IJCAI paper archive.