search menu icon-carat-right cmu-wordmark

Test and Evaluation of Autonomous Multi-Robot Systems

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.