Robot Swarms as Hybrid Systems: Modelling and Verification

Schupp, Stefan; Leofante, Francesco; Behr, Leander; Ábrahám, Erika; Tacchella, Armando

(2022)
Preprint