icon-carat-right
menu
search
cmu-wordmark
Carnegie Mellon University
Software Engineering Institute
About
Our Work
Publications
News and Events
Education and Outreach
Careers
Home
Publications
Authors
John M. Dolan
John M. Dolan
Carnegie Mellon University, Robotics Institute
All
Probabilistic Verification of Coordinated Multi-Robot Missions
July 8, 2013
•
Conference Paper
By
Sagar Chaki
,
John M. Dolan
,
Joseph Giampapa