Test and Evaluation of Autonomous Multi-Robot Systems
October 2013 • Conference Paper
This powerpoint presentation was given at the NDIA Annual System Engineering Conference in October 2013.
Software Engineering Institute
This presentation introduces two complementary research approaches to quantitatively assuring the behaviors of autonomous multi-robot systems: Probabilistic Model Checking and Behavioral Reliability Analysis.