1. Bloem, R., et al.: Decidability in parameterized verification. SIGACT News 47(2), 53–64 (2016)
2. Bulling, N., Goranko, V., Jamroga, W.: Logics for reasoning about strategic abilities in multi-player games. In: Models of Strategic Reasoning: Logics, Games, and Communities, pp. 93–136 (2015)
3. De Giacomo, G., Vardi, M., Felli, P., Alechina, N., Logan, B.: Synthesis of orchestrations of transducers for manufacturing. In: Proceedings of the AAAI 2018, pp. 6161–6168 (2018)
4. De Masellis, R., Goranko, V.: Logic-based specification and verification of homogeneous dynamic multi-agent systems. arXiv:1905.00810 [cs.LO] (2019)
5. Esparza, J., Ganty, P., Leroux, J., Majumdar, R.: Model checking population protocols. In: 36th IARCS Annual Conference on FSTTCS, pp. 27:1–27:14 (2016)