1 citations · 3 across the 5 of their papers we have counts for
1 paper · 1 filter
Mario Coppola, Jian Guo, Eberhard Gill +1
This paper proposes a model-based framework to automatically and efficiently design understandable and verifiable behaviors for swarms of robots. The framework is based on the auto…