ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. Althoff, M., Bak, S., Chen, X., Fan, C., Forets, M., Frehse, G., Kochdumper, N., Li, Y., Mitra, S., Ray, R., Schilling, C., & Schupp, S. In Frehse, G., Althoff, M., Bogomolov, S., & Johnson, T. T., 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, 2018. EasyChair.
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics [link]Paper  bibtex   
@inproceedings{DBLP:conf/adhs/AlthoffB0FFFKLM18,
  author    = {Matthias Althoff and
               Stanley Bak and
               Xin Chen and
               Chuchu Fan and
               Marcelo Forets and
               Goran Frehse and
               Niklas Kochdumper and
               Yangge Li and
               Sayan Mitra and
               Rajarshi Ray and
               Christian Schilling and
               Stefan Schupp},
  editor    = {Goran Frehse and
               Matthias Althoff and
               Sergiy Bogomolov and
               Taylor T. Johnson},
  title     = {{ARCH-COMP18} Category Report: Continuous and Hybrid Systems with
               Linear Continuous Dynamics},
  booktitle = {{ARCH18.} 5th International Workshop on Applied Verification of Continuous
               and Hybrid Systems, ARCH@ADHS 2018, Oxford, UK, July 13, 2018},
  series    = {EPiC Series in Computing},
  volume    = {54},
  pages     = {23--52},
  publisher = {EasyChair},
  year      = {2018},
  url       = {https://easychair.org/publications/paper/4cGr},
  timestamp = {Wed, 27 May 2020 16:02:02 +0200},
  biburl    = {https://dblp.org/rec/conf/adhs/AlthoffB0FFFKLM18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0