Designing autonomous robot missions with performance guarantees. - Damian M. Lyons; Ronald C. Arkin; P. Nirmal; Shu D. Jiang (IROS, 2012)

Characterizing performance guarantees for multiagent, real-time systems operating in noisy and uncertain environments. - Damian M. Lyons; Shu D. Jiang; Ronald C. Arkin; Prem Nirmal; Stephen D. Fox; Munzir Zafar (PerMIS, 2012)

Visual homing with a pan-tilt based stereo camera. - Paramesh Nirmal; Damian M. Lyons (Intelligent Robots and Computer Vision: Algorithms and Techniques, 2013)

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)

A Software Tool for the Design of Critical Robot Missions with Performance Guarantees. - Damian M. Lyons; Ronald C. Arkin; P. Nirmal; Shu D. Jiang; Tsung-Ming Liu (CSER, 2013)

Performance Verification for Behavior-Based Robot Missions. - Damian M. Lyons; Ronald C. Arkin; Shu D. Jiang; Tsung-Ming Liu; Paramesh Nirmal (IEEE Trans. Robotics, 2015)

Homing with stereovision. - Paramesh Nirmal; Damian M. Lyons (Robotica, 2016)