User: Guest  Login
Title:

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
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