Distributed BDD-based BMC for the verification of multi-agent systems. - Andrew V. Jones; Alessio Lomuscio (AAMAS, 2010)

Model Checking Temporal-Epistemic Logic Using Alternating Tree Automata. - Francesco Belardinelli; Andrew V. Jones; Alessio Lomuscio (Fundam. Informaticae, 2011)

Automatic verification of epistemic specifications under convergent equational theories. - Ioana Boureanu; Andrew V. Jones; Alessio Lomuscio (AAMAS, 2012)

Group synthesis for parametric temporal-epistemic logic. - Andrew V. Jones; Michal Knapik; Wojciech Penczek; Alessio Lomuscio (AAMAS, 2012)

Model checking and compositional reasoning for multi-agent systems. - Andrew V. Jones (2014)

Addressing the Regression Test Problem with Change Impact Analysis for Ada. - Andrew V. Jones (Ada-Europe, 2016)

Bisimulations for Verifying Strategic Abilities with an Application to ThreeBallot. - Francesco Belardinelli; Rodica Condurache; Catalin Dima; Wojciech Jamroga; Andrew V. Jones (AAMAS, 2017)