Matthias Althoff, Erika Ábrahám, Marcelo Forets, Goran Frehse, Daniel Freire, Christian Schilling 0001, Stefan Schupp, Mark Wetzlinger. ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. In Goran Frehse, Matthias Althoff, editors, 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Brussels, Belgium, July 9, 2021. Volume 80 of EPiC Series in Computing, pages 1-31, EasyChair, 2021. [doi]
@inproceedings{AlthoffAFFF0SW21,
title = {ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics},
author = {Matthias Althoff and Erika Ábrahám and Marcelo Forets and Goran Frehse and Daniel Freire and Christian Schilling 0001 and Stefan Schupp and Mark Wetzlinger},
year = {2021},
doi = {10.29007/lhbw},
url = {https://doi.org/10.29007/lhbw},
researchr = {https://researchr.org/publication/AlthoffAFFF0SW21},
cites = {0},
citedby = {0},
pages = {1-31},
booktitle = {8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Brussels, Belgium, July 9, 2021},
editor = {Goran Frehse and Matthias Althoff},
volume = {80},
series = {EPiC Series in Computing},
publisher = {EasyChair},
}