James Harbin, Simos Gerasimou, Nicholas Matragkas, Athanasios Zolotas, Radu Calinescu. Model-Driven Simulation-Based Analysis for Multi-Robot Systems. In 24th International Conference on Model Driven Engineering Languages and Systems, MODELS 2021, Fukuoka, Japan, October 10-15, 2021. pages 331-341, IEEE, 2021. [doi]
Abstract is missing.