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.
Publisher:
Software Engineering Institute
Subjects
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.