|
[KDF12]
Savas Konur, Clare Dixon and Michael Fisher.
Analysing Robot Swarm Behaviour via Probabilistic Model Checking.
Robotics and Autonomous Systems, 60(2), pages 199-213.
2012.
[bib]
[Uses probabilistic model checking and PRISM to analyse the effectiveness of robot swarms.]
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|