@Article{KDF12,
author={Savas Konur and Clare Dixon and Michael Fisher},
title={Analysing Robot Swarm Behaviour via Probabilistic Model Checking},
journal={Robotics and Autonomous Systems},
year={2012},

volume={60},
number={2},
pages={199--213},
publisher={},
month={},
note={},
key={}
}