ARCH-COMP21 Repeatability Evaluation Report

Johnson, Taylor T.

doi:10.29007/zqdx

Reference:

Taylor T. Johnson, "ARCH-COMP21 Repeatability Evaluation Report", In 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21) (Goran Frehse, Matthias Althoff, eds.), EasyChair, vol. 80, pp. 153–160, 2021.

Bibtex Entry:

@inproceedings{johnson2021archcomp,
  author    = {Taylor T. Johnson},
  title     = {ARCH-COMP21 Repeatability Evaluation Report},
  booktitle = {8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {80},
  pages     = {153--160},
  year      = {2021},
  publisher = {EasyChair},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/cfpN},
  doi       = {10.29007/zqdx}
}