Publications

2017

[bibtex]
Matthias Althoff, Stanley Bak, Dario Cattaruzza, Xin Chen, Goran Frehse, Rajarshi Ray, Stefan Schupp. ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, Volume 48 of EPiC Series in Computing, pages 143–159, EasyChair, 2017.