Advanced Search

Content Type

Topics

Publication Date

Test and Evaluation of Autonomous Multi-Robot Systems

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.