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

Document type:: Konferenzbeitrag
Author(s):: Althoff, Matthias; Bak, Stanley; Forets, Marcelo; Frehse, Goran; Kochdumper, Niklas; Ray, Rajarshi; Schilling, Christian; Schupp, Stefan
Title:: ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
Editor:: Frehse, Goran; Althoff, Matthias
Book / Congress title:: Proc. of the 6th International Workshop on Applied Verification of Continuous and Hybrid Systems
Volume:: 61
Year:: 2019
Pages:: 14-40
Bookseries title:: EPiC Series in Computing
Fulltext / DOI:: doi:10.29007/bj1w
BibTeX

Occurrences: