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

Title:: ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
Document type:: Konferenzbeitrag
Author(s):: Althoff, Matthias; Forets, Marcelo; Schilling, Christian; Wetzlinger, Mark
Book / Congress title:: Proc. of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems
Volume:: 90
Publisher:: EasyChair
Year:: 2022
Pages:: 58–85
Bookseries title:: EPiC Series in Computing
Fulltext / DOI:: doi:10.29007/mmzc
WWW:: https://easychair.org/publications/paper/b6cN
BibTeX

Occurrences: