Browse by People

Farrell, Marie ORCID: 0000-0001-7708-3877, Cardoso, Rafael C ORCID: 0000-0001-6666-6954, Dennis, Louise A ORCID: 0000-0003-1426-1896, Dixon, Clare ORCID: 0000-0002-4610-9533, Fisher, Michael, Kourtis, Georgios, Lisitsa, Alexei, Luckcuck, Matt ORCID: 0000-0002-6444-9312 and Webster, Matt ORCID: 0000-0002-8817-6881 (2019) Modular Verification of Autonomous Space Robotics. In: IEEE International Conference on Space Mission Challenges for Information, 2019-7-30 - 2019-8-1, Pasadena, California, USA.

Collapse authors list.
Fisher, Michael, Cardoso, Rafael C ORCID: 0000-0001-6666-6954, Collins, Emily C ORCID: 0000-0001-9396-536X, Dadswell, Christopher, Dennis, Louise A ORCID: 0000-0003-1426-1896, Dixon, Clare ORCID: 0000-0002-4610-9533, Farrell, Marie ORCID: 0000-0001-7708-3877, Ferrando, Angelo ORCID: 0000-0002-8711-4670, Huang, Xiaowei ORCID: 0000-0001-6267-0366, Jump, Mike ORCID: 0000-0002-1028-2334 et al (show 7 more authors) , Kourtis, Georgios, Lisitsa, Alexei, Luckcuck, Matt ORCID: 0000-0002-6444-9312, Luo, Shan ORCID: 0000-0003-4760-0372, Page, Vincent, Papacchini, Fabio ORCID: 0000-0002-0310-7378 and Webster, Matt ORCID: 0000-0002-8817-6881 (2021) An Overview of Verification and Validation Challenges for Inspection Robots. ROBOTICS, 10 (2). p. 67.