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

Titel:: ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
Dokumenttyp:: Konferenzbeitrag
Autor(en):: M. Althoff, S. Bak, X. Chen, C. Fan, M. Forets, G. Frehse, N. Kochdumper, Y. Li, S. Mitra, R. Ray, C. Schilling and S. Schupp
Seitenangaben Beitrag:: 23-52
Kongress- / Buchtitel:: Proc. of the 5th International Workshop on Applied Verification for Continuous and Hybrid Systems
Jahr:: 2018
Volltext / DOI:: doi:10.29007/73mb
BibTeX

Vorkommen: