A Counter Abstraction Technique for the Verification of Robot Swarms.
Panagiotis KouvarosAlessio LomuscioPublished in: AAAI (2015)
Keyphrases
- mobile robot
- humanoid robot
- vision system
- robot navigation
- hardware designs
- dynamic environments
- model checking
- path planning
- multi robot
- cooperative
- human robot interaction
- bounded model checking
- high level
- particle swarm optimization
- robotic systems
- position and orientation
- mobile robotics
- face verification
- robot control
- home environment
- robot programming
- visual servoing
- real robot
- goal directed
- autonomous robots
- motion planning
- skill learning
- robot moves
- rough terrain
- real time
- robot soccer
- robot arm
- formal verification
- simultaneous localization and mapping
- signature verification
- formal methods
- swarm intelligence
- search algorithm