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]
@inproceedings{Bu0S19,
title = {ARCH-COMP19 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics},
author = {Lei Bu and Rajarshi Ray 0001 and Stefan Schupp},
year = {2019},
url = {http://www.easychair.org/publications/paper/q6RV},
researchr = {https://researchr.org/publication/Bu0S19},
cites = {0},
citedby = {0},
pages = {120-128},
booktitle = {ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada, April 15, 2019},
editor = {Goran Frehse and Matthias Althoff},
volume = {61},
series = {EPiC Series in Computing},
publisher = {EasyChair},
}