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

Matthias Althoff, Stanley Bak, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Rajarshi Ray 0001, Christian Schilling, Stefan Schupp. ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous 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 14-40, EasyChair, 2019. [doi]

@inproceedings{AlthoffBFFK0SS19,
  title = {ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics},
  author = {Matthias Althoff and Stanley Bak and Marcelo Forets and Goran Frehse and Niklas Kochdumper and Rajarshi Ray 0001 and Christian Schilling and Stefan Schupp},
  year = {2019},
  url = {http://www.easychair.org/publications/paper/1gbP},
  researchr = {https://researchr.org/publication/AlthoffBFFK0SS19},
  cites = {0},
  citedby = {0},
  pages = {14-40},
  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},
}