Article

Koay, KL, Webster, M, Dixon, C, Gainer, P, Syrdal, D, Fisher, M and Dautenhahn, K (2021) Use and usability of software verification methods to detect behaviour interference when teaching an assistive home companion robot: A proof-of-concept study. Paladyn, Journal of Behavioral Robotics, 12 (1). pp. 402-422. ISSN 2080-9778

Page, V, Dadswell, C, Webster, M, Jump, M and Fisher, M (2021) Towards the Determination of Safe Operating Envelopes for Autonomous UAS in Offshore Inspection Missions. Robotics, 10 (3). ISSN 2218-6581

Cardoso, R, Kourtis, G, Dennis, LA, Dixon, C, Farrell, M, Fisher, M and Webster, M (2021) A Review of Verification and Validation for Space Autonomous Systems. Current Robotics Reports. ISSN 2662-4087

Fisher, M, Cardoso, RC, Collins, EC, Dadswell, C, Dennis, LA, Dixon, C, Farrell, M, Ferrando, A, Huang, X, Jump, M, Kourtis, G, Lisitsa, A, Luckcuck, M, Luo, S, Page, V, Papacchini, F and Webster, M (2021) An Overview of Verification and Validation Challenges for Inspection Robots. Robotics, 10 (2). ISSN 2218-6581

Webster, M, Breza, M, Dixon, C, Fisher, M and McCann, J (2020) Exploring the effects of environmental conditions and design choices on IoT systems using formal methods. Journal of Computational Science, 45. ISSN 1877-7503

Webster, M, Western, D, Araiza-Illan, D, Dixon, C, Eder, K, Fisher, M and Pipe, AG (2019) A Corroborative Approach to Verification and Validation of Human--Robot Teams. The International Journal of Robotics Research, 39 (1). pp. 73-99. ISSN 0278-3649

Webster, M, Breza, M, Dixon, C, Fisher, M and McCann, J (2019) Formal verification of synchronisation, gossip and environmental effects for wireless sensor networks. Electronic Communications of the EASST, 76. ISSN 1863-2122

Webster, M, Dixon, C, Fisher, M, Salem, M, Saunders, J, Koay, KL, Dautenhahn, K and Saez-Pons, J (2015) Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study. IEEE Transactions on Human-Machine Systems, 46 (2). pp. 186-196. ISSN 2168-2291

Conference or Workshop Item

Zhang, T, Dennis, LA and Webster, M (2021) AsteroidX: An Asteroid Exploration Simulation and Visualisation Tool. In: Advances in Space Robotics and Back to Earth 2021 at IROS 2021, 01 October 2021 - 01 October 2021, Prague.

Kurowski, M, Babski, R, Duncan, S, Perrotin, M and Webster, M (2021) Model Checking for Formal Verification of Space Systems. In: Model Based Space Systems and Software Engineering (MBSE2021), 29 September 2021 - 30 September 2021, Virtual.