ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics. Frehse, G.; Abate, A.; Adzkiya, D.; Becchi, A.; Bu, L.; Cimatti, A.; Giacobbe, M.; Griggio, A.; Mover, S.; Mufid, M. S.; Riouak, I.; Tonetta, S.; and Zaffanella, E. In Frehse, G. and Althoff, M., 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 1–13, 2019. EasyChair.
ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics [link]Paper  bibtex   
@inproceedings{DBLP:conf/cpsweek/FrehseAABBCGGMM19,
  author    = {Goran Frehse and
               Alessandro Abate and
               Dieky Adzkiya and
               Anna Becchi and
               Lei Bu and
               Alessandro Cimatti and
               Mirco Giacobbe and
               Alberto Griggio and
               Sergio Mover and
               Muhammad Syifa'ul Mufid and
               Idriss Riouak and
               Stefano Tonetta and
               Enea Zaffanella},
  editor    = {Goran Frehse and
               Matthias Althoff},
  title     = {{ARCH-COMP19} Category Report: Hybrid Systems with Piecewise Constant
               Dynamics},
  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},
  series    = {EPiC Series in Computing},
  volume    = {61},
  pages     = {1--13},
  publisher = {EasyChair},
  year      = {2019},
  url       = {http://www.easychair.org/publications/paper/MTXh},
  timestamp = {Wed, 03 Jul 2019 10:06:30 +0200},
  biburl    = {https://dblp.org/rec/conf/cpsweek/FrehseAABBCGGMM19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0