Matthias Althoff, Stanley Bak, Zongnan Bao, Marcelo Forets, Goran Frehse, Daniel Freire, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray 0001, Christian Schilling 0001, Stefan Schupp, Mark Wetzlinger. ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. In ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), Berlin, Germany, July 12, 2020. Volume 74 of EPiC Series in Computing, pages 16-48, EasyChair, 2020. [doi]
@inproceedings{AlthoffBBFFFKLM20,
title = {ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics},
author = {Matthias Althoff and Stanley Bak and Zongnan Bao and Marcelo Forets and Goran Frehse and Daniel Freire and Niklas Kochdumper and Yangge Li and Sayan Mitra and Rajarshi Ray 0001 and Christian Schilling 0001 and Stefan Schupp and Mark Wetzlinger},
year = {2020},
doi = {10.29007/7dt2},
url = {https://doi.org/10.29007/7dt2},
researchr = {https://researchr.org/publication/AlthoffBBFFFKLM20},
cites = {0},
citedby = {0},
pages = {16-48},
booktitle = {ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), Berlin, Germany, July 12, 2020},
volume = {74},
series = {EPiC Series in Computing},
publisher = {EasyChair},
}