ARCH-COMP19 Category Report: Hybrid Systems Theorem Proving

Stefan Mitsch, Andrew Sogokon, Yong Kiam Tan, Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan. ARCH-COMP19 Category Report: Hybrid Systems Theorem Proving. 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 141-161, EasyChair, 2019. [doi]

@inproceedings{MitschSTJZWZ19,
  title = {ARCH-COMP19 Category Report: Hybrid Systems Theorem Proving},
  author = {Stefan Mitsch and Andrew Sogokon and Yong Kiam Tan and Xiangyu Jin and Bohua Zhan and Shuling Wang and Naijun Zhan},
  year = {2019},
  url = {http://www.easychair.org/publications/paper/mSQ6},
  researchr = {https://researchr.org/publication/MitschSTJZWZ19},
  cites = {0},
  citedby = {0},
  pages = {141-161},
  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},
}