F. Raimondi and A. Lomuscio, Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams, Journal of Applied Logic, vol.5, issue.2, pp.235-251, 2005.
DOI : 10.1016/j.jal.2005.12.010

P. Cermák, A. Lomuscio, F. Mogavero, and A. Murano, Verifying and synthesising multi-agent systems against one-goal strategy logic specifications, Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI15), pp.2038-2044, 2015.

M. Cohen, M. Dam, A. Lomuscio, and H. Qu, A symmetry reduction technique for model checking temporal-epistemic logic, Proceedings of the 21st International Joint Conference on Artificial Intelligence, pp.721-726, 2009.
DOI : 10.1007/978-3-642-04761-9_6

M. Kwiatkowska, A. Lomuscio, and H. Qu, Parallel model checking for temporal epistemic logic, Proceedings of the 19th European Conference on Artificial Intelligence (ECAI10), pp.543-548, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00536670

M. Kacprzak, A. Lomuscio, and W. Penczek, From bounded to unbounded model checking for temporal epistemic logic, Fundamenta Informaticae, vol.63, issue.2-3, pp.221-240, 2004.

A. Lomuscio, H. Qu, and F. Raimondi, MCMAS: A Model Checker for the Verification of Multi-Agent Systems, Software Tools for Technology Transfer, vol.5, issue.2, pp.9-30, 2017.
DOI : 10.1145/544862.544965

P. Cermák, A. Lomuscio, F. Mogavero, and A. Murano, MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications, Proceedings of the 26th International Conference on Computer Aided Verification, pp.525-532, 2014.
DOI : 10.1007/978-3-319-08867-9_34

J. Ezekiel, A. Lomuscio, L. Molnar, and S. Veres, Verifying fault tolerance and selfdiagnosability of an autonomous underwater vehicle, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, pp.1659-1664, 2011.

J. Ezekiel and A. Lomuscio, Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems, Information and Computation, vol.254, issue.2, pp.167-194, 2017.
DOI : 10.1016/j.ic.2016.10.007

P. Gonzalez, A. Griesmayer, and A. Lomuscio, Verification of GSM-Based Artifact-Centric Systems by Predicate Abstraction, Proceedings of the 13th International Conference on Service Oriented Computing (ICSOC15, pp.253-268, 2015.
DOI : 10.1017/CBO9780511810275

P. Gonzalez, A. Griesmayer, and A. Lomuscio, Verifying GSM-Based Business Artifacts, 2012 IEEE 19th International Conference on Web Services, pp.25-32, 2012.
DOI : 10.1109/ICWS.2012.31
URL : http://www.doc.ic.ac.uk/~alessio/papers/12/ICWS-PG+.pdf

P. Kouvaros and A. Lomuscio, Automatic verification of parametrised interleaved multi-agent systems, Proceedings of the 12th International Conference on Autonomous Agents and Multi-Agent systems (AAMAS13), pp.861-868, 2013.

P. Kouvaros and A. Lomuscio, A cutoff technique for the verification of parameterised interpreted systems with parameterised environments, Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI13), pp.2013-2019, 2013.

P. Kouvaros and A. Lomuscio, Parameterised verification for multi-agent systems, Artificial Intelligence, vol.234, pp.152-189, 2016.
DOI : 10.1016/j.artint.2016.01.008
URL : https://doi.org/10.1016/j.artint.2016.01.008

P. Kouvaros and A. Lomuscio, A counter abstraction technique for the verification of robot swarms, Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI15), pp.2081-2088, 2015.

P. Kouvaros and A. Lomuscio, Verifying emergent properties of swarms, Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI15), pp.1083-1089, 2015.

P. Kouvaros and A. Lomuscio, Formal verification of opinion formation in swarms, Proceedings of the 15th International Conference on Autonomous Agents and Multi-Agent systems (AAMAS16), pp.1200-1209, 2016.