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

Title:: ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
Document type:: Konferenzbeitrag
Author(s):: Althoff, Matthias; Bak, Stanley; Bao, Zongnan; Forets, Marcelo; Frehse, Goran; Freire, Daniel; Kochdumper, Niklas; Li, Yangge; Mitra, Sayan; Ray, Rajarshi; Schilling, Christian; Schupp, Stefan; Wetzlinger, Mark
Pages contribution:: 16-48
Keywords:: justITSELF
Book / Congress title:: Proc. of the 7th International Workshop on Applied Verification of Continuous and Hybrid Systems
Publisher:: EasyChair
Year:: 2020
Fulltext / DOI:: doi:10.29007/7dt2
BibTeX

Occurrences: