SMT-Based Unbounded Model Checking for ATL.

Michal Kanski, Artur Niewiadomski, Magdalena Kacprzak, Wojciech Penczek, Wojciech Nabialek

Browse the full VECoS paper archive.