SMT-Based Unbounded Model Checking for ATL. - Michal Kanski; Artur Niewiadomski 001; Magdalena Kacprzak; Wojciech Penczek; Wojciech Nabialek (VECoS, 2021)