Sagar Chaki

Sagar Chaki, John M. Dolan, Joseph Andrew Giampapa, Proceedings of the AAMAS Workshop on Autonomous Robots and Multirobot Systems (ARMS'13), May 6-10, 2013.

Software: Tools and benchmarks for experiments reported in the paper are here. Read LICENSE.txt for the license, and README.txt for usage.

Abstract: One of the biggest obstacles to the procurement and deployment of coordinated autonomous systems is the di culty of assuring them, that is, to set and manage their performance expectations. This article introduces a reliability engineering assurance approach based on probabilistic model checking. It also introduces two models to guide and extend the reliability engineering approach: (1) a characterization of the range of autonomous coordination phenomena and (2) phases of a coordinated mission. Two instances of the models are implemented as discrete time Markov chains (DTMC). Results from in-progress validation experiments with robots are reported, as well.