John M. Dolan
Carnegie Mellon University, Robotics Institute
Publications by John M. Dolan
-
Probabilistic Verification of Coordinated Multi-Robot Missions
July 08, 2013 • Conference Paper
Sagar ChakiJohn M. DolanJoseph Giampapa
In this paper, the authors advocate, formalize, and empirically justify an approach to compute quantitative utility of robotic missions using probabilistic model checking.
read