2021

Farrell, Marie and Cardoso, Rafael C. and Dennis, Louise A. and Dixon, Clare (2021) Modular Verification of Autonomous Space Robotics. arXiv.org. ISSN 2331-8422

Fisher, Michael and Cardoso, Rafael C. and Collins, Emily C. and Dadswell, Christopher and Dennis, Louise A. and Dixon, Clare and Farrell, Marie and Ferrando, Angelo and Huang, Xiaowei and Jump, Mike and Kourtis, Georgios and Lisitsa, Alexei and Luckcuck, Matt and Luo, Shan and Page, Vincent and Papacchini, Fabio and Webster, Matt (2021) An Overview of Verification and Validation Challenges for Inspection Robots. Robotics, 10 (2). p. 67. ISSN 2218-6581

Cardoso, Rafael C. and Kourtis, Georgios and Dennis, Louise A. and Dixon, Clare and Farrell, Marie and Fisher, Michael and Webster, Matt (2021) A Review of Verification and Validation for Space Autonomous Systems. Current Robotics Reports, 2 (3). pp. 273-283. ISSN 2662-4087

2019

Luckcuck, Matt and Farrell, Marie and Dennis, Louise A. and Dixon, Clare and Fisher, Michael (2019) Formal Specification and Verification of Autonomous Robotic Systems: A Survey. ACM Computing Surveys, 52 (5). pp. 1-41. ISSN 0360-0300