Goran Frehse, Alessandro Abate, Dieky Adzkiya, Anna Becchi, Lei Bu, Alessandro Cimatti, Mirco Giacobbe, Alberto Griggio, Sergio Mover, Muhammad Syifa'ul Mufid, Idriss Riouak, Stefano Tonetta, Enea Zaffanella. ARCH-COMP19 Category Report: 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 1-13, EasyChair, 2019. [doi]
@inproceedings{FrehseAABBCGGMM19,
title = {ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics},
author = {Goran Frehse and Alessandro Abate and Dieky Adzkiya and Anna Becchi and Lei Bu and Alessandro Cimatti and Mirco Giacobbe and Alberto Griggio and Sergio Mover and Muhammad Syifa'ul Mufid and Idriss Riouak and Stefano Tonetta and Enea Zaffanella},
year = {2019},
url = {http://www.easychair.org/publications/paper/MTXh},
researchr = {https://researchr.org/publication/FrehseAABBCGGMM19},
cites = {0},
citedby = {0},
pages = {1-13},
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},
}