DISCOVER: Distributed Coordination Verification

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.