Login
- 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
- Titel:
- ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
- 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