author : Savas Konur
1
publication
Formal Verification of Probabilistic Swarm Behaviours (2010) — Savas Konur, Clare Dixon, Michael Fisher Formal Verification of Probabilistic Swarm Behaviours (2010) — Savas Konur, Clare Dixon, Michael Fisher