Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type

Topics

Publication Date

John M. Dolan
July 2013 - Conference Paper Probabilistic Verification of Coordinated Multi-Robot Missions

Topics: Cyber-Physical Systems

Authors: Sagar Chaki, John M. Dolan, Joseph Giampapa

In this paper, the authors advocate, formalize, and empirically justify an approach to compute quantitative utility of robotic missions using probabilistic model checking.