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

Titel:: ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Dokumenttyp:: Konferenzbeitrag
Autor(en):: Immler, Fabian; Althoff, Matthias; Benet, Luis; Chapoutot, Alexandre; Chen, Xin; Forets, Marcelo; Geretti, Luca; Kochdumper, Niklas; Sanders, David P.; Schilling, Christian
Herausgeber:: Frehse, Goran; Althoff, Matthias
Kongress- / Buchtitel:: Proc. of the 6th International Workshop on Applied Verification of Continuous and Hybrid Systems
Band / Teilband / Volume:: 61
Jahr:: 2019
Seiten:: 41-61
Serientitel:: EPiC Series in Computing
Volltext / DOI:: doi:10.29007/m75b
BibTeX

Vorkommen: