Model-Driven Simulation-Based Analysis for Multi-Robot Systems.

James Harbin, Simos Gerasimou, Nicholas Matragkas, Athanasios Zolotas, Radu Calinescu

Browse the full MODELS paper archive.