ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

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

Fichier non déposé

Dates et versions

hal-02167586 , version 1 (27-06-2019)

Identifiants

  • HAL Id : hal-02167586 , version 1

Citer

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⟩
50 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More