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