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

Titel:: ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Dokumenttyp:: Konferenzbeitrag
Autor(en):: Geretti, Luca; Alexandre Dit Sandretto, Julien; Althoff, Matthias; Benet, Luis; Chapoutot, Alexandre; Chen, Xin; Collins, Pieter; Forets, Marcelo; Freire, Daniel; Immler, Fabian; Kochdumper, Niklas; Sanders, David P.; Schilling, Christian
Seitenangaben Beitrag:: 49-75
Stichworte:: justITSELF
Kongress- / Buchtitel:: Proc. of the 7th International Workshop on Applied Verification of Continuous and Hybrid Systems
Verlag / Institution:: EasyChair
Jahr:: 2020
Volltext / DOI:: doi:10.29007/zkf6
BibTeX

Vorkommen: