Damian M. Lyons, Ronald C. Arkin, Shu Jiang, Dagan Harrington, Feng Tang, Peng Tang. Probabilistic Verification of Multi-robot Missions in Uncertain Environments. In 27th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2015, Vietri sul Mare, Italy, November 9-11, 2015. pages 56-63, IEEE, 2015. [doi]
Abstract is missing.