Damian M. Lyons, Ronald C. Arkin, Shu Jiang, Dagan Harrington, T. Liu. Verifying and validating multirobot missions. In 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems, Chicago, IL, USA, September 14-18, 2014. pages 1495-1502, IEEE, 2014. [doi]
Abstract is missing.