www.prismmodelchecker.org
[CG13] Sagar Chaki and Joseph Andrew Giampapa. Probabilistic Verification of Coordinated Multi-robot Missions. In Proc. 20th International Symposium on Model Checking Software (SPIN'13), volume 7976 of LNCS, pages 135-153, Springer. 2013. [Proposes techniques to verify multi-robot systems, including the use of PRISM.]
Notes: The original publication is available at www.springerlink.com.

Publications