Sagar Chaki

The goal of this project is explore analytic methods for predicting the quality of coordination mechanisms in the context of multi-robot missions. Our current focus is on using probabilistic model checking. The project is part of the research in Cyber-Physical Systems at the Software Engineering Institute.

• Optimizing Robotic Team Performance with Probabilistic Model Checking (SIMPAR'14)
• Probabilistic Verification of Coordinated Multi-Robot Missions (SPIN'13)
• Toward A Quantitative Method for Assuring Coordinated Autonomy (ARMS'13)

• Sagar Chaki, Software Engineering Institute, Carnegie Mellon University
• David Kyle, Software Engineering Institute, Carnegie Mellon University
• Joseph Andrew Giampapa, Software Engineering Institute, Carnegie Mellon University