ARCH-COMP18 Repeatability Evaluation Report

Johnson, Taylor T.

doi:10.29007/n9t3

Reference:

Taylor T. Johnson, "ARCH-COMP18 Repeatability Evaluation Report", In ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems (Goran Frehse, ed.), EasyChair, vol. 54, pp. 128–134, 2018.

Bibtex Entry:

@inproceedings{johnson2018arch,
  author    = {Taylor T. Johnson},
  title     = {ARCH-COMP18 Repeatability Evaluation Report},
  booktitle = {ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems},
  editor    = {Goran Frehse},
  series    = {EPiC Series in Computing},
  volume    = {54},
  pages     = {128--134},
  year      = {2018},
  publisher = {EasyChair},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/9J6v},
  doi       = {10.29007/n9t3},
}