par Legarda Herranz, Guillermo ;Garone, Emanuele ;Birattari, Mauro
Référence 41st Benelux Meeting on Systems and Control(5-7 July 2022: Brussels, Belgium), page (46)
Publication Publié, 2022-07-05
Abstract de conférence
Titre:
  • A Hybrid-System Formalism to Verify Properties of Robot Swarms
Auteur:Legarda Herranz, Guillermo; Garone, Emanuele; Birattari, Mauro
Informations sur la publication:41st Benelux Meeting on Systems and Control(5-7 July 2022: Brussels, Belgium), page (46)
Statut de publication:Publié, 2022-07-05
Sujet CREF:Sciences de l'ingénieur
Langue:Anglais