Satisfiability in Strategy Logic Can Be Easier than Model Checking.

Erman Acar, Massimo Benerecetti, Fabio Mogavero

Browse the full AAAI paper archive.