Author:Matthias Althoff

Publications
ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems Goran Frehse and Matthias Althoff (editors) EPiC Series in Computing, volume 48
ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics Matthias Althoff, Stanley Bak, Dario Cattaruzza, Xin Chen, Goran Frehse, Rajarshi Ray and Stefan Schupp In:ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems
ARCH-COMP17 Category Report: Continuous Systems with Nonlinear Dynamics Xin Chen, Matthias Althoff and Fabian Immler In:ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems
ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems Goran Frehse and Matthias Althoff (editors) EPiC Series in Computing, volume 43
Implementation of Interval Arithmetic in CORA 2016 Matthias Althoff and Dmitry Grebenyuk In:ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems Goran Frehse and Matthias Althoff (editors) EPiC Series in Computing, volume 34
An Introduction to CORA 2015 Matthias Althoff In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems