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