 | Up a level |
Gainer, P, Dixon, CL 
ORCID: 0000-0002-4610-9533, Dautenhahn, K, Fisher, M, Hustadt, U ORCID: 0000-0002-0455-0267, Saunders, J and Webster, M ORCID: 0000-0002-8817-6881
(2017)
CRutoN: Automatic Verification of a Robotic Assistant's Behaviours.
In: FMICS/AVOCS 2017, 2017-9-18 - 2017-9-20, Torino, Italy.
Nalon, Claudia, Hustadt, Ullrich ORCID: 0000-0002-0455-0267 and Dixon, CL ORCID: 0000-0002-4610-9533
(2020)
A Resolution-Based Theorem Prover for Kn: Architecture, Refinements, Strategies and Experiments.
Journal of Automated Reasoning, 64 (3).
pp. 461-484.
McCabe-Dansted, John, Dixon, CL ORCID: 0000-0002-4610-9533, French, Tim and Reynolds, Mark
(2019)
Sublogics of a Branching Time Logic of Robustness.
Information and Computation, 266.
pp. 126-160.
Cucco, E, Fisher, MD, Dennis, LA ORCID: 0000-0003-1426-1896, Dixon, CL ORCID: 0000-0002-4610-9533, Webster, M ORCID: 0000-0002-8817-6881, Broecker, B, Williams, R, Collenette, J, Atkinson, K ORCID: 0000-0002-5683-4106 and Tuyls, K
(2017)
Towards Robots for Social Engagement.
In: Workshop on Human-Robot Engagement in the Home, Workplace and Public Spaces.