2021

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

Fisher, Michael, Cardoso, Rafael C., Collins, Emily C., Dadswell, Christopher, Dennis, Louise A., Dixon, Clare, Farrell, Marie, Ferrando, Angelo, Huang, Xiaowei, Jump, Mike, Kourtis, Georgios, Lisitsa, Alexei, Luckcuck, Matt, Luo, Shan, Page, Vincent, 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., Kourtis, Georgios, Dennis, Louise A., Dixon, Clare, Farrell, Marie, 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, Farrell, Marie, Dennis, Louise A., 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