Paul Gainer

According to our database, Paul Gainer authored at least 10 papers between 2015 and 2023.

Collaborative distances:

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

2023

Automating reward function configuration for drug design.

Marius Urbonas, Temitope Ajileye, Paul Gainer, Douglas Pires

CoRR, 2023

2021

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, Kerstin Dautenhahn

Paladyn J. Behav. Robotics, 2021

2020

Multi-scale verification of distributed synchronisation.

Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher

Formal Methods Syst. Des., 2020

2018

Incremental Verification of Parametric and Reconfigurable Markov Chains.

Paul Gainer, Ernst Moritz Hahn, Sven Schewe

Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 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

Proceedings of the Formal Methods and Software Engineering, 2018

Accelerated Model Checking of Parametric Markov Chains.

Paul Gainer, Ernst Moritz Hahn, Sven Schewe

Proceedings of the Automated Technology for Verification and Analysis, 2018

2017

Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking.

Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher

Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

CRutoN: Automatic Verification of a Robotic Assistant's Behaviours.

Paul Gainer, Clare Dixon, Kerstin Dautenhahn, Michael Fisher, Ullrich Hustadt, Joe Saunders, Matt Webster

Proceedings of the Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and, 2017

2016

Probabilistic Model Checking of Ant-Based Positionless Swarming.

Paul Gainer, Clare Dixon, Ullrich Hustadt

Proceedings of the Towards Autonomous Robotic Systems - 17th Annual Conference, 2016

2015

Ordered Resolution for Coalition Logic.

Ullrich Hustadt, Paul Gainer, Clare Dixon, Cláudia Nalon, Lan Zhang

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2015