ARCH-COMP18 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics

Lei Bu, Rajarshi Ray 0001, Stefan Schupp. ARCH-COMP18 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant 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 14-22, EasyChair, 2018. [doi]

@inproceedings{Bu0S18,
  title = {ARCH-COMP18 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics},
  author = {Lei Bu and Rajarshi Ray 0001 and Stefan Schupp},
  year = {2018},
  url = {http://www.easychair.org/publications/paper/LG4L},
  researchr = {https://researchr.org/publication/Bu0S18},
  cites = {0},
  citedby = {0},
  pages = {14-22},
  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},
}