Skip to Main content Skip to Navigation
Conference papers

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

Complete list of metadata

https://hal.archives-ouvertes.fr/hal-02167586
Contributor : Alexandre Chapoutot <>
Submitted on : Thursday, June 27, 2019 - 10:08:54 PM
Last modification on : Tuesday, May 25, 2021 - 11:36:38 AM

Identifiers

  • HAL Id : hal-02167586, version 1

Collections

Citation

Fabian Immler, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, et al.. ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems, Apr 2019, Montréal, Canada. pp.41-19. ⟨hal-02167586⟩

Share

Metrics

Record views

81