Getting it right the first time: Robot mission guarantees in the presence of uncertainty. - Damian M. Lyons; Ronald C. Arkin; P. Nirmal; Shu D. Jiang; Tsung-Ming Liu; J. Deeb (IROS, 2013)