1. Bagheri, B., Calvanese, D., Montali, M., Giacomo, G., Deutsch, A.: Verification of relational data-centric dynamic systems with external services. In: Proceedings of the 32nd Symposium on Principles of Database Systems (PODS13), pp. 163–174. ACM (2013)
2. Ball, T., Kupferman, O.: An abstraction-refinement framework for multi-agent systems. In: Proceedings of the 21st Annual IEEE Symposium on Logic in Computer Science (LICS06), pp. 379–388. IEEE (2006)
3. Belardinelli, F., Lomuscio, A., Michaliszyn, J.: Agent-based refinement for predicate abstraction of multi-agent systems. In: Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI16), pp. 286–294. IOS Press (2016)
4. Belardinelli, F., Lomuscio, A., Patrizi, F.: Verification of agent-based artifact systems. J. Artif. Intell. Res. 51, 333–376 (2014)
5. Belardinelli, F.: Model checking auctions as artifact systems: decidability via finite abstraction. In: Proceedings of the 21st European Conference on Artificial Intelligence (ECAI14), pp. 81–86 (2014)