Follow
Paul Gainer
Paul Gainer
Exscientia
Verified email at exscientia.co.uk - Homepage
Title
Cited by
Cited by
Year
Accelerated model checking of parametric Markov chains
P Gainer, EM Hahn, S Schewe
Automated Technology for Verification and Analysis: 16th International …, 2018
272018
CRutoN: Automatic verification of a robotic assistant’s behaviours
P Gainer, C Dixon, K Dautenhahn, M Fisher, U Hustadt, J Saunders, ...
Critical Systems: Formal Methods and Automated Verification: Joint 22nd …, 2017
152017
Probabilistic model checking of ant-based positionless swarming
P Gainer, C Dixon, U Hustadt
Towards Autonomous Robotic Systems: 17th Annual Conference, TAROS 2016 …, 2016
132016
Incremental verification of parametric and reconfigurable Markov chains
P Gainer, EM Hahn, S Schewe
Quantitative Evaluation of Systems: 15th International Conference, QEST 2018 …, 2018
112018
Investigating parametric influence on discrete synchronisation protocols using quantitative model checking
P Gainer, S Linker, C Dixon, U Hustadt, M Fisher
Quantitative Evaluation of Systems: 14th International Conference, QEST 2017 …, 2017
112017
The power of synchronisation: formal analysis of power consumption in networks of pulse-coupled oscillators
P Gainer, S Linker, C Dixon, U Hustadt, M Fisher
International Conference on Formal Engineering Methods, 160-176, 2018
72018
Use and usability of software verification methods to detect behaviour interference when teaching an assistive home companion robot: A proof-of-concept study
KL Koay, M Webster, C Dixon, P Gainer, D Syrdal, M Fisher, ...
Paladyn, Journal of Behavioral Robotics 12 (1), 402-422, 2021
52021
Multi-scale verification of distributed synchronisation
P Gainer, S Linker, C Dixon, U Hustadt, M Fisher
Formal Methods in System Design 55 (3), 171-221, 2020
32020
Ordered resolution for coalition logic
U Hustadt, P Gainer, C Dixon, C Nalon, L Zhang
Automated Reasoning with Analytic Tableaux and Related Methods: 24th …, 2015
32015
Automating reward function configuration for drug design
M Urbonas, T Ajileye, P Gainer, D Pires
arXiv preprint arXiv:2312.09865, 2023
2023
Automating reward function configuration for drug design
T Ajileye, P Gainer, M Urbonas, DEV Pires
NeurIPS 2023 Workshop on New Frontiers of AI for Drug Discovery and Development, 2023
2023
Formal Analysis of Artificial Collectives using Parametric Markov Models
P Gainer
PQDT-Global, 2020
2020
Probabilistic Verification of an Ant-Based Swarming Algorithm
P Gainer, C Dixon, U Hustadt
Automated Reasoning Workshop 2016 Bridging the Gap between Theory and …, 2016
2016
Computer Science BSc (Hons) Dissertation
P Gainer, C Dixon
CLProver++: An Ordered Resolution Prover for Coalition Logic
U Hustadt, P Gainer, C Dixon, C Nalon, L Zhang
Automated Reasoning Workshop 2015 Bridging the Gap between Theory and …, 0
The system can't perform the operation now. Try again later.
Articles 1–15