Verifying Multi-Agent Systems via Unbounded Model Checking M. Kacprzak, A. Lomuscio, T. Lasica, W. Penczek, M Szreter
