Robot Swarms as Hybrid Systems: Modelling and Verification

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

(2022)
Preprint

Einrichtungen

• Fachgruppe Informatik [120000]
• Lehr- und Forschungsgebiet Theorie Hybrider Systeme [123420]