. Belardinelli, . F. Grossi, D. Belardinelli, and . Grossi, On the Formal Verification of Diffusion Phenomena in Open Dynamic Agent Networks 2015. [Belardinelli and Lomuscio, 2012] F. Belardinelli and A. Lomuscio. Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results, Proc. of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS15)Belardinelli and Lomuscio, 2013] F. Belardinelli and A. Lomuscio. Decidability of Model Checking Non- Uniform Artifact-Centric Quantified Interpreted Systems, pp.1-45, 2012.

. Belardinelli, An Abstraction Technique for the Verification of Artifact-Centric Systems, Proc. of the 23rd International Joint Conference on Artificial Intelligence Proc. of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR12), pp.319-328333, 2012.

. Blackburn, Modal Logic, 2001.
DOI : 10.1017/CBO9781107050884
URL : https://hal.archives-ouvertes.fr/inria-00100502

. Deutsch, Specification and verification of data-driven Web applications, Journal of Computer and System Sciences, vol.73, issue.3, pp.442-474, 2007.
DOI : 10.1016/j.jcss.2006.10.006

. Fagin, Reasoning About Knowledge, 1995.

. Gammie, ]. P. Van-der-meyden, R. Gammie, and . Van-der-meyden, MCK: Model Checking the Logic of Knowledge, Proc. of 16th International Conference on Computer Aided Verification (CAV04), pp.479-483, 2004.
DOI : 10.1007/978-3-540-27813-9_41

. Hariri, Verification of Relational Data-centric Dynamic Systems with External Services Social and Economic Networks [Kouvaros and Lomuscio, 2013a] P. Kouvaros and A. Lomuscio . A Cutoff Technique for the Verification of Parameterised Interpreted Systems with Parameterised Environments Automatic Verification of Parameterised Multiagent Systems [Lomuscio and Colombetti, 1996] Alessio Lomuscio and Marco Colombetti, Proc. of the Symposium on Principles of Database Systems (PODS13) Proc. of the 23rd International Joint Conference on Artificial Intelligence (IJCAI13) Proc. International conference on Autonomous Agents and Multi-Agent Systems (AAMAS13) QLB: A Quantified Logic for Belief. In Intelligent Agents III, Agent Theories, Architectures, and Languages, ECAI96 Workshop (ATAL), Proceedings MCMAS: A Model Checker for the Verification of Multi-Agent Systems Proc. of the International Conference on Computer-Aided Verification (CAV09), pp.163-174, 1996.

. Montali, Verification of Data-aware Commitment-based Multiagent System, International conference on Autonomous Agents and Multi-Agent Systems (AAMAS14), pp.157-164, 2014.

R. Parikh, R. Parikh, . Ramanujam-]-w, A. Penczek, and . Lomuscio, Distributed Processes and the Logic of Knowledge Verifying Epistemic Properties of Multi-agent Systems via Bounded Model Checking, Logic of Programs, pp.256-268167, 1985.

F. Martín, P. Noriega, P. Garcia, and C. Sierra, Towards a Test-Bed for Trading Agents in Electronic Auction Markets Introduction to Multiagent Systems, pp.5-19, 1998.