Most Recent Additions*

PDF

Getting it right the first time: Verification of Behavior-based Multirobot Missions
Damian M. Lyons, Ronald C. Arkin, Shu Jiang, Dagon Harrington, and Matthew O'Brien

PDF

Verifying and Validating Multirobot Missions
Damian M. Lyons, Ronald C. Arkin, Shu Jiang, Dagon Harrington, and Tsung-Ming Liu

PDF

Getting it Right the First time: Robot Mission Guarantees in the Presence of Uncertainty
Damian M. Lyons, Ronald C. Arkin, Paramesh Nirmal, Shu Jiang, Tsung-Ming Liu, and J. Deeb

PDF

Performance Guarantees for C-WMD Robot Missions
Shu Jiang, Ronald C. Arkin, Damian M. Lyons, Tsung-Ming Liu, and Dagon Harrington

PDF

A Cognitive Approach to Vision for a Mobile Robot
Paul Benjamin, Christopher Funk, and Damian M. Lyons

*Updated as of 12/19/14.