Robot Swarms as Hybrid Systems: Modelling and Verification. - Stefan Schupp; Francesco Leofante; Leander Behr; Erika Ábrahám; Armando Tacchella (SNR, 2021)