Matthias Althoff, Stanley Bak, Dario Cattaruzza, Xin Chen 0002, Goran Frehse, Rajarshi Ray, Stefan Schupp. ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. In Goran Frehse, Matthias Althoff, editors, ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, collocated with Cyber-Physical Systems Week (CPSWeek) on April 17, 2017 in Pittsburgh, PA, USA. Volume 48 of EPiC Series, pages 143-159, EasyChair, 2017. [doi]
@inproceedings{AlthoffBCCFRS17,
title = {ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics},
author = {Matthias Althoff and Stanley Bak and Dario Cattaruzza and Xin Chen 0002 and Goran Frehse and Rajarshi Ray and Stefan Schupp},
year = {2017},
url = {http://www.easychair.org/publications/paper/352651},
researchr = {https://researchr.org/publication/AlthoffBCCFRS17},
cites = {0},
citedby = {0},
pages = {143-159},
booktitle = {ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, collocated with Cyber-Physical Systems Week (CPSWeek) on April 17, 2017 in Pittsburgh, PA, USA},
editor = {Goran Frehse and Matthias Althoff},
volume = {48},
series = {EPiC Series},
publisher = {EasyChair},
}