A Provisional Approach to Maintaining Verification and Validation Capability in Self-Adapting Robots.
John C. GallagherEric T. MatsonJames GoppertPublished in: IRC (2017)
Keyphrases
- mobile robot
- multi robot
- cooperative
- connected components
- model checking
- robotic systems
- autonomous robots
- robotic agents
- face verification
- formal verification
- industrial robots
- verification method
- search and rescue
- asynchronous circuits
- humanoid robot
- robot control
- artificial agents
- formal analysis
- manipulation tasks
- dynamic environments
- genetic algorithm
- neural network