Practical verification of multi-agent systems against Slk specifications - ermák, P; Lomuscio, A; Mogavero, F; Murano, A (Information and Computation, 2018)