Robot Swarms as Hybrid Systems: Modelling and Verification

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

(2022)
Preprint

Institutions

• Department of Computer Science [120000]
• Theory of Hybrid Systems Research Group [123420]