Performance guarantees for C-WMD robot missions. - Shu D. Jiang; Ronald C. Arkin; Damian M. Lyons; Tsung-Ming Liu; Dagan Harrington (SSRR, 2013)

Verifying and validating multirobot missions. - Damian M. Lyons; Ronald C. Arkin; Shu D. Jiang; Dagan Harrington; T. Liu (IROS, 2014)

Automatic Verification of Autonomous Robot Missions. - Matthew Joseph O'Brien; Ronald C. Arkin; Dagan Harrington; Damian M. Lyons; Shu D. Jiang (SIMPAR, 2014)

Probabilistic Verification of Multi-robot Missions in Uncertain Environments. - Damian M. Lyons; Ronald C. Arkin; Shu D. Jiang; Dagan Harrington; Feng Tang; Peng Tang (ICTAI, 2015)