Probabilistic Verification of Multi-robot Missions in Uncertain Environments | IEEE Conference Publication | IEEE Xplore