ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics - ENSTA Paris - École nationale supérieure de techniques avancées Paris
Conference Papers Year : 2020

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

Dates and versions

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

Identifiers

Cite

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⟩
39 View
0 Download

Altmetric

Share

More