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

Titel:: ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
Dokumenttyp:: Konferenzbeitrag
Autor(en):: Althoff, Matthias; Bak, Stanley; Bao, Zongnan; Forets, Marcelo; Frehse, Goran; Freire, Daniel; Kochdumper, Niklas; Li, Yangge; Mitra, Sayan; Ray, Rajarshi; Schilling, Christian; Schupp, Stefan; Wetzlinger, Mark
Seitenangaben Beitrag:: 16-48
Stichworte:: justITSELF
Kongress- / Buchtitel:: Proc. of the 7th International Workshop on Applied Verification of Continuous and Hybrid Systems
Verlag / Institution:: EasyChair
Jahr:: 2020
Volltext / DOI:: doi:10.29007/7dt2
BibTeX

Vorkommen: