56 citations · 343 across the 31 of their papers we have counts for
1 paper · 1 filter
Till Schnittka, Mario Gleirscher
When designing correct-by-construction controllers for autonomous collectives, three key challenges are the task specification, the modelling, and its use at practical scale. In th…