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

Digital Library

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

Topics: Cyber-Physical Systems

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