 | 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.
Hustadt, U ORCID: 0000-0002-0455-0267, Nalon, C and Dixon, C ORCID: 0000-0002-4610-9533
(2018)
Evaluating pre-processing techniques for the separated normal form for temporal logics.
In: 6th Workshop on practical aspects of automated reasoning (PAAR-2018), 2018-7-19 - 2018-7-19, Oxford, UK.
Nalon, C, Hustadt, U ORCID: 0000-0002-0455-0267 and Dixon, C ORCID: 0000-0002-4610-9533
(2017)
K<inf>S</inf>P: A resolution-based prover for multimodal K abridged report.
In: Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017-8-19 - 2017-8-26.
Nalon, C, Hustadt, U ORCID: 0000-0002-0455-0267 and Dixon, C
(2020)
KSP A Resolution-Based Theorem Prover for K_n : Architecture, Refinements, Strategies and Experiments.
Journal of Automated Reasoning, 64 (3).
pp. 461-484.
Nalon, C, Dixon, Clare ORCID: 0000-0002-4610-9533 and Hustadt, U ORCID: 0000-0002-0455-0267
(2019)
Modal Resolution: Proofs, Layers and Refinements.
ACM Transactions on Computational Logic, 20 (4).
pp. 1-38.
Gainer, P, Dixon, C ORCID: 0000-0002-4610-9533 and Hustadt, U ORCID: 0000-0002-0455-0267
(2016)
Probabilistic Model Checking of Ant-Based Positionless Swarming.
In: Towards Autonomous Robotic Systems, 2016-6-28 - 2016-6-30, Sheffield.
Hustadt, U ORCID: 0000-0002-0455-0267, Ozaki, A and Dixon, C ORCID: 0000-0002-4610-9533
(2017)
Theorem Proving for Metric Temporal Logic over the Naturals.
In: 26th International Conference on Automated Deduction.