Towards Temporal Verification of Emergent Behaviours in Swarm Robotic Systems.
Clare DixonAlan F. T. WinfieldMichael FisherPublished in: TAROS (2011)
Keyphrases
- robotic systems
- collective behavior
- swarm robotics
- control architecture
- mobile robot
- vision system
- temporal information
- temporal constraints
- evolutionary process
- indoor environments
- multi robot
- spatial and temporal
- spatio temporal
- autonomous robots
- temporal data
- particle swarm optimization
- search and rescue
- robotic tasks
- real robot
- imitation learning
- unstructured environments
- swarm intelligence
- multi modal
- temporal reasoning
- data mining
- evolutionary computation
- model checking
- simulated annealing
- search space
- support vector
- metadata
- artificial intelligence
- learning algorithm