Lei Bu, Alessandro Abate, Dieky Adzkiya, Muhammad Syifa'ul Mufid, Rajarshi Ray 0001, Yuming Wu, Enea Zaffanella. ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking. In ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), Berlin, Germany, July 12, 2020. Volume 74 of EPiC Series in Computing, pages 1-15, EasyChair, 2020. [doi]
@inproceedings{BuAAMRWZ20,
title = {ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking},
author = {Lei Bu and Alessandro Abate and Dieky Adzkiya and Muhammad Syifa'ul Mufid and Rajarshi Ray 0001 and Yuming Wu and Enea Zaffanella},
year = {2020},
doi = {10.29007/bhwx},
url = {https://doi.org/10.29007/bhwx},
researchr = {https://researchr.org/publication/BuAAMRWZ20},
cites = {0},
citedby = {0},
pages = {1-15},
booktitle = {ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), Berlin, Germany, July 12, 2020},
volume = {74},
series = {EPiC Series in Computing},
publisher = {EasyChair},
}