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

Titel:: ARCH-COMP24 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Dokumenttyp:: Konferenzbeitrag
Autor(en):: Geretti, Luca; Alexandre Dit Sandretto, Julien; Althoff, Matthias; Benet, Luis; Collins, Pieter; Forets, Marcelo; Mitsch, Stefan; Schilling, Christian; Tillet, Joris; Wetzlinger, Mark
Seitenangaben Beitrag:: 39-13
Kongress- / Buchtitel:: EPiC Series in Computing
Verlag / Institution:: EasyChair
Jahr:: 2024
Volltext / DOI:: doi:10.29007/21ch
BibTeX

Vorkommen: