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

Titel:: ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Dokumenttyp:: Konferenzbeitrag
Autor(en):: Immler, F.; Althoff, M.; Chen, X.; Fan, C.; Frehse, G.; Kochdumper, N.; Li, Y.; Mitra, S.; Tomar, M. S.; Zamani, M.
Kongress- / Buchtitel:: Proc. of the 5th International Workshop on Applied Verification for Continuous and Hybrid Systems
Jahr:: 2018
Seiten:: 53-70
Volltext / DOI:: doi:10.29007/mskf
BibTeX

Vorkommen: