User: Guest  Login
Title:

ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics

Document type:
Konferenzbeitrag
Author(s):
Immler, Fabian; Althoff, Matthias; Benet, Luis; Chapoutot, Alexandre; Chen, Xin; Forets, Marcelo; Geretti, Luca; Kochdumper, Niklas; Sanders, David P.; Schilling, Christian
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:
41-61
Bookseries title:
EPiC Series in Computing
Fulltext / DOI:
doi:10.29007/m75b
 BibTeX