Article

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

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

Conference or Workshop Item

Farrell, Marie, Monahan, Rosemary, Power, James F. and Fisher, Michael (2018) An Approach to Combining the Institutions for Event-B and Temporal Logic. In: 24th International Workshop on Algebraic Development Technique, July 2018, Royal Holloway, University of London.