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

Title:: ARCH-COMP24 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Document type:: Konferenzbeitrag
Author(s):: Geretti, Luca; Alexandre Dit Sandretto, Julien; Althoff, Matthias; Benet, Luis; Collins, Pieter; Forets, Marcelo; Mitsch, Stefan; Schilling, Christian; Tillet, Joris; Wetzlinger, Mark
Pages contribution:: 39-13
Book / Congress title:: EPiC Series in Computing
Publisher:: EasyChair
Year:: 2024
Fulltext / DOI:: doi:10.29007/21ch
BibTeX

Occurrences: