Gidon Ernst, Paolo Arcaini, Alexandre Donzé, Georgios Fainekos, Logan Mathesen, Giulia Pedrielli, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang. ARCH-COMP 2019 Category Report: Falsification. 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 129-140, EasyChair, 2019. [doi]
@inproceedings{ErnstADFMPYYZ19,
title = {ARCH-COMP 2019 Category Report: Falsification},
author = {Gidon Ernst and Paolo Arcaini and Alexandre Donzé and Georgios Fainekos and Logan Mathesen and Giulia Pedrielli and Shakiba Yaghoubi and Yoriyuki Yamagata and Zhenya Zhang},
year = {2019},
url = {http://www.easychair.org/publications/paper/5VWq},
researchr = {https://researchr.org/publication/ErnstADFMPYYZ19},
cites = {0},
citedby = {0},
pages = {129-140},
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},
}