search menu icon-carat-right cmu-wordmark

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

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.