MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications.

Petr Cermk, Alessio Lomuscio, Fabio Mogavero, Aniello Murano

Browse the full CAV paper archive.