ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics

Matthias Althoff, Stanley Bak, Xin Chen 0002, Chuchu Fan, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray 0001, Christian Schilling, Stefan Schupp. ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. In Goran Frehse, Matthias Althoff, Sergiy Bogomolov, Taylor T. Johnson, editors, ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH@ADHS 2018, Oxford, UK, July 13, 2018. Volume 54 of EPiC Series in Computing, pages 23-52, EasyChair, 2018. [doi]

@inproceedings{AlthoffB0FFFKLM18,
  title = {ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics},
  author = {Matthias Althoff and Stanley Bak and Xin Chen 0002 and Chuchu Fan and Marcelo Forets and Goran Frehse and Niklas Kochdumper and Yangge Li and Sayan Mitra and Rajarshi Ray 0001 and Christian Schilling and Stefan Schupp},
  year = {2018},
  url = {http://www.easychair.org/publications/paper/4cGr},
  researchr = {https://researchr.org/publication/AlthoffB0FFFKLM18},
  cites = {0},
  citedby = {0},
  pages = {23-52},
  booktitle = {ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH@ADHS 2018, Oxford, UK, July 13, 2018},
  editor = {Goran Frehse and Matthias Althoff and Sergiy Bogomolov and Taylor T. Johnson},
  volume = {54},
  series = {EPiC Series in Computing},
  publisher = {EasyChair},
}