Skip to Main content Skip to Navigation
Conference papers

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

Complete list of metadatas

https://hal-ensta-paris.archives-ouvertes.fr//hal-03068407
Contributor : Alexandre Chapoutot <>
Submitted on : Tuesday, December 15, 2020 - 4:08:22 PM
Last modification on : Wednesday, December 16, 2020 - 4:09:04 AM

Links full text

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

8