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

User: Guest

Document type:: Konferenzbeitrag
Author(s):: Althoff, M.; Ábrahám, E.; Forets, M.; Frehse, G.; Freire, D.; Schilling, C.; Schupp, S.; Wetzlinger, M.
Title:: ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
Keywords:: justITSELF
Editor:: Frehse, G.; Althoff, M.
Book / Congress title:: Proc. of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems
Volume:: 80
Publisher:: EasyChair
Year:: 2021
Pages:: 1–31
Bookseries title:: EPiC Series in Computing
Fulltext / DOI:: doi:10.29007/lhbw
WWW:: https://easychair.org/publications/paper/81BS
BibTeX

Occurrences: