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

Titel:: ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
Dokumenttyp:: Konferenzbeitrag
Autor(en):: Althoff, Matthias; Bak, Stanley; Forets, Marcelo; Frehse, Goran; Kochdumper, Niklas; Ray, Rajarshi; Schilling, Christian; Schupp, Stefan
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:: 14-40
Serientitel:: EPiC Series in Computing
Volltext / DOI:: doi:10.29007/bj1w
BibTeX

Vorkommen: