Engineering Controllers For Swarm Robotics Via Reachability Analysis In Hybrid Systems.

Francesco Leofante, Stefan Schupp, Erika brahm, Armando Tacchella

Browse the full ECMS paper archive.