User: Guest  Login
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