|
[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 link.springer.com.
|
|
Links:
[Google]
[Google Scholar]
|