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.
Abstract is missing.