An Overview of Verification and Validation Challenges for Inspection Robots - 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; et al. (Robotics (Basel), 2021)
Keywords: Construction; Decision making; Deep space; formal verification; Hazardous areas; Hubs; Inspection; Inspections; Nuclear engineering; robotic inspection; Robotics; Robots; Sensors; software architectures; testing; Verification; Weather; United Kingdom--UK