ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics - ENSTA Paris - École nationale supérieure de techniques avancées Paris Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics

Dates et versions

hal-03068407 , version 1 (15-12-2020)

Identifiants

Citer

Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, et al.. ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), Jul 2020, Berlin, Germany. pp.49-21, ⟨10.29007/zkf6⟩. ⟨hal-03068407⟩
28 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More