ARCH-COMP23 Repeatability Evaluation Report (bibtex)

Reference:

Taylor T. Johnson, "ARCH-COMP23 Repeatability Evaluation Report", In EPiC Series in Computing 96, 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH'23), EasyChair, pp. 189–181, 2023.

Bibtex Entry:

@inproceedings{johnson2023archcomp,
  title = {ARCH-COMP23 Repeatability Evaluation Report},
  author = {Taylor T. Johnson},
  year = {2023},
  month = oct,
  booktitle = {EPiC Series in Computing 96, 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH'23)},
  volume = {96},
  pages = {189--181},
  publisher = {EasyChair},
  doi = {10.29007/q313},
  keywords = {Artifact Evaluation, formal methods, hybrid systems, Repeatability Evaluation, verification},
  publabel = {OW13},
  pubtype = {OW},
  dblp = {conf/arch/Johnson23},
  s2id = {264318865},
  pdf = "research/johnson2023archcomp.pdf",
}