Andrew V. Jones

According to our database, Andrew V. Jones authored at least 7 papers between 2010 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2017

Bisimulations for Verifying Strategic Abilities with an Application to ThreeBallot.

Francesco Belardinelli, Rodica Condurache, Catalin Dima, Wojciech Jamroga, Andrew V. Jones

Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

2016

Addressing the Regression Test Problem with Change Impact Analysis for Ada.

Andrew V. Jones

Proceedings of the Reliable Software Technologies - Ada-Europe 2016, 2016

2014

Model checking and compositional reasoning for multi-agent systems.

Andrew V. Jones

PhD thesis, 2014

2012

Group synthesis for parametric temporal-epistemic logic.

Andrew V. Jones, Michal Knapik, Wojciech Penczek, Alessio Lomuscio

Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

Automatic verification of epistemic specifications under convergent equational theories.

Ioana Boureanu, Andrew V. Jones, Alessio Lomuscio

Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

2011

Model Checking Temporal-Epistemic Logic Using Alternating Tree Automata.

Francesco Belardinelli, Andrew V. Jones, Alessio Lomuscio

Fundam. Informaticae, 2011

2010

Distributed BDD-based BMC for the verification of multi-agent systems.

Andrew V. Jones, Alessio Lomuscio

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010