author : Alan Winfield
1
publication
Towards Temporal Verification of Emergent Behaviours in Swarm Robotic Systems (2011) — Clare Dixon, Alan Winfield, Micheal Fisher Towards Temporal Verification of Emergent Behaviours in Swarm Robotic Systems (2011) — Clare Dixon, Alan Winfield, Micheal Fisher