P. Nirmal

Designing autonomous robot missions with performance guarantees

Damian M. Lyons, Ronald C. Arkin, P. Nirmal, 2012, 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems.

A Software Tool for the Design of Critical Robot Missions with Performance Guarantees

Damian M. Lyons, Ronald C. Arkin, P. Nirmal, 2013, CSER.

Getting it right the first time: Robot mission guarantees in the presence of uncertainty

Damian M. Lyons, Ronald C. Arkin, P. Nirmal, 2013, 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems.

Homing with stereovision

Damian M. Lyons, P. Nirmal, 2016, Robotica.