ARCH-COMP17 Category Report: Hybrid Systems with Piecewise Constant Dynamics. Frehse, G., Abate, A., Adzkiya, D., Bu, L., & Giacobbe, M. In ARCH@CPSWeek, volume 48, of EPiC Series in Computing, pages 124–133, 2017. EasyChair.
bibtex   
@inproceedings{DBLP:conf/cpsweek/FrehseAABG17,
  author    = {Goran Frehse and
               Alessandro Abate and
               Dieky Adzkiya and
               Lei Bu and
               Mirco Giacobbe},
  title     = {{ARCH-COMP17} Category Report: Hybrid Systems with Piecewise Constant
               Dynamics},
  booktitle = {ARCH@CPSWeek},
  series    = {EPiC Series in Computing},
  volume    = {48},
  pages     = {124--133},
  publisher = {EasyChair},
  year      = {2017}
}

Downloads: 0