Benutzer: Gast  Login
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