An Overview of Verification and Validation Challenges for Inspection Robots.
Michael FisherRafael C. CardosoEmily C. CollinsChristopher DadswellLouise A. DennisClare DixonMarie FarrellAngelo FerrandoXiaowei HuangMike JumpGeorgios KourtisAlexei LisitsaMatt LuckcuckShan LuoVincent PagéFabio PapacchiniMatt WebsterPublished in: Robotics (2021)
Keyphrases
- future trends
- multi robot
- mobile robot
- lessons learned
- open issues
- model checking
- key issues
- real world
- cooperative
- autonomous robots
- database
- technical challenges
- defect detection
- multi robot systems
- asynchronous circuits
- human robot
- formal verification
- signature verification
- robot control
- human robot interaction
- motion planning
- information systems
- data sets