User: Guest  Login
Document type:
Konferenzbeitrag 
Author(s):
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 
Title:
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics 
Pages contribution:
16-48 
Keywords:
justITSELF 
Book / Congress title:
Proc. of the 7th International Workshop on Applied Verification of Continuous and Hybrid Systems 
Publisher:
EasyChair 
Year:
2020 
Fulltext / DOI: