Ordered Resolution for Coalition Logic. - Ullrich Hustadt; Paul Gainer; Clare Dixon; Cláudia Nalon; Lan Zhang 001 (TABLEAUX, 2015)

Probabilistic Model Checking of Ant-Based Positionless Swarming. - Paul Gainer; Clare Dixon; Ullrich Hustadt (TAROS, 2016)

CRutoN: Automatic Verification of a Robotic Assistant's Behaviours. - Paul Gainer; Clare Dixon; Kerstin Dautenhahn; Michael Fisher 001; Ullrich Hustadt; Joe Saunders; Matt Webster (FMICS-AVoCS, 2017)

Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking. - Paul Gainer; Sven Linker; Clare Dixon; Ullrich Hustadt; Michael Fisher 001 (QEST, 2017)

Accelerated Model Checking of Parametric Markov Chains. - Paul Gainer; Ernst Moritz Hahn; Sven Schewe (ATVA, 2018)

The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators. - Paul Gainer; Sven Linker; Clare Dixon; Ullrich Hustadt; Michael Fisher 001 (ICFEM, 2018)

Incremental Verification of Parametric and Reconfigurable Markov Chains. - Paul Gainer; Ernst Moritz Hahn; Sven Schewe (QEST, 2018)

Multi-scale verification of distributed synchronisation. - Paul Gainer; Sven Linker; Clare Dixon; Ullrich Hustadt; Michael Fisher 001 (Formal Methods Syst. Des., 2020)

Use and usability of software verification methods to detect behaviour interference when teaching an assistive home companion robot: A proof-of-concept study. - Kheng Lee Koay; Matt Webster; Clare Dixon; Paul Gainer; Dag Sverre Syrdal; Michael Fisher 001; Kerstin Dautenhahn (Paladyn J. Behav. Robotics, 2021)

Automating reward function configuration for drug design. - Marius Urbonas; Temitope Ajileye; Paul Gainer; Douglas Pires (CoRR, 2023)