ARCH-COMP19 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Lei Bu, Rajarshi Ray 0001, Stefan Schupp. ARCH-COMP19 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant 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 120-128, EasyChair, 2019. [doi]

This author has not been identified. Look up 'Lei Bu' in GoogleThis author has not been identified. Look up 'Rajarshi Ray 0001' in GoogleThis author has not been identified. Look up 'Stefan Schupp' in Google

runs on WebDSL