ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Matthias Althoff, Stanley Bak, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Rajarshi Ray 0001, Christian Schilling, Stefan Schupp. ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. In Goran Frehse, Matthias Althoff, editors, ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada, April 15, 2019. Volume 61 of EPiC Series in Computing, pages 14-40, EasyChair, 2019. [doi]

This author has not been identified. Look up 'Matthias Althoff' in GoogleThis author has not been identified. Look up 'Stanley Bak' in GoogleThis author has not been identified. Look up 'Marcelo Forets' in GoogleThis author has not been identified. Look up 'Goran Frehse' in GoogleThis author has not been identified. Look up 'Niklas Kochdumper' in GoogleThis author has not been identified. Look up 'Rajarshi Ray 0001' in GoogleThis author has not been identified. Look up 'Christian Schilling' in GoogleThis author has not been identified. Look up 'Stefan Schupp' in Google

runs on WebDSL