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

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]

Possibly Related Publications

The following publications are possibly variants of this publication: