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

Report a Vulnerability to CERT/CC
Subscribe to SEI Bulletin
Request Permission to Use SEI Materials

Advancing Software for National Security
Sponsored by the Department of War, the SEI is a federally funded research and development center managed by Carnegie Mellon University.

Main Office
4500 Fifth Avenue
Pittsburgh, PA 15213-2612
412-268-5800

SEI

About Research and Development Publications and Media Education Careers

Helpful links

Digital Library Blog Podcasts

Connect

Facebook LinkedIn X YouTube

2026 Carnegie Mellon University

Contact Us
Office Locations
Privacy Notice
Legal
www.cmu.edu
2026 Carnegie Mellon University