Formal performance guarantees for an approach to human in the loop robot missions. - Damian M. Lyons; Ronald C. Arkin; Shu D. Jiang; Matthew Joseph O'Brien; F. Tang; P. Tang (SMC, 2017)