Test and Evaluation of Autonomous Multi-Robot Systems

October 28, 2013 • Conference Paper

By

Joseph Giampapa

This PowerPoint presentation was given at the NDIA Annual System Engineering Conference in October 2013.

Publisher

Software Engineering Institute

Subjects

Pervasive Mobile Computing

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.