ARCH-COMP19 Repeatability Evaluation Report

Johnson, Taylor T.

doi:10.29007/wbl3

Reference:

Taylor T. Johnson, "ARCH-COMP19 Repeatability Evaluation Report", In ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems (Goran Frehse, Matthias Althoff, eds.), EasyChair, vol. 61, pp. 162–169, 2019, April.

Bibtex Entry:

@inproceedings{johnson2019arch,
  author    = {Taylor T. Johnson},
  title     = {ARCH-COMP19 Repeatability Evaluation Report},
  booktitle = {ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {61},
  pages     = {162--169},
  year      = {2019},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/xvBM},
  doi       = {10.29007/wbl3},
  month = "April",
}