Towards temporal verification of swarm robotic systems.
Clare DixonAlan F. T. WinfieldMichael FisherChengxiu ZengPublished in: Robotics Auton. Syst. (2012)
Keyphrases
- robotic systems
- swarm robotics
- collective behavior
- mobile robot
- vision system
- autonomous robots
- control architecture
- spatio temporal
- temporal data
- swarm intelligence
- indoor environments
- search and rescue
- spatial and temporal
- multi robot
- object manipulation
- unstructured environments
- model checking
- temporal information
- real robot
- particle swarm optimization
- motor control
- manipulation tasks
- temporal reasoning
- robotic manipulator
- imitation learning
- robotic tasks
- learning algorithm
- signature verification
- robot control
- motion planning
- learning strategies
- multi objective
- video sequences