Satisfiability Checking of Strategy Logic with Simple Goals.

Magdalena Kacprzak, Artur Niewiadomski, Wojciech Penczek

Browse the full KR paper archive.