1. Aminof, B., Murano, A., Rubin, S., Zuleger, F.: Automatic verification of multi-agent systems in parameterised grid-environments. In: Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, pp. 1190–1199. International Foundation for Autonomous Agents and Multiagent Systems (2016)
2. Bakar, N.A., Selamat, A.: Agent systems verification: systematic literature review and mapping. Appl. Intell. 48(5), 1251–1274 (2018)
3. Bang-Jensen, J., Gutin, G.Z.: Digraphs: Theory, Algorithms and Applications. Springer, London (2008).
https://doi.org/10.1007/978-1-84800-998-1
4. Belardinelli, F., Lomuscio, A., Murano, A., Rubin, S.: Verification of multi-agent systems with imperfect information and public actions. In: Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, pp. 1268–1276. International Foundation for Autonomous Agents and Multiagent Systems (2017)
5. Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems. Springer, New York (2009).
https://doi.org/10.1007/978-0-387-68612-7