Probabilistic Verification of Multi-robot Missions in Uncertain Environments.

Damian M. Lyons, Ronald C. Arkin, Shu D. Jiang, Dagan Harrington, Feng Tang, Peng Tang

Browse the full ICTAI paper archive.