Constraint-based Verification of Formation Control - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

Dates et versions

hal-03587686 , version 1 (24-02-2022)

Identifiants

Citer

Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Christophe Garion, Xavier Thirioux, Ghiles Ziat. Constraint-based Verification of Formation Control. 2021 60th IEEE Conference on Decision and Control (CDC), Dec 2021, Austin, France. pp.7136-7141, ⟨10.1109/CDC45484.2021.9683622⟩. ⟨hal-03587686⟩
37 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More