Proceedings
ARCH papers and competition reports are published in the EasyChair EPiC Series in Computing, indexed by DBLP.
ARCH Proceedings
Accepted papers are published in the ARCH proceedings. Competition reports of each ARCH-COMP category appear in the same volume, and the repeatability packages behind them are on GitLab.
Overview Paper
A. Abate, M. Althoff, L. Bu, G. Ernst, G. Frehse, L. Geretti, T. T. Johnson, C. Menghi, S. Mitsch, S. Schupp, and S. Soudjani, "The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems," in TOOLympics Challenge 2023, LNCS, Springer, pp. 1–37, 2023.
BibTeX
@inproceedings{abate2023archcomp_overview,
title = {The {ARCH-COMP} Friendly Verification Competition for Continuous and Hybrid Systems},
author = {Abate, Alessandro and Althoff, Matthias and Bu, Lei and Ernst, Gidon and Frehse, Goran and Geretti, Luca and Johnson, Taylor T. and Menghi, Claudio and Mitsch, Stefan and Schupp, Stefan and Soudjani, Sadegh},
booktitle = {TOOLympics Challenge 2023},
series = {Lecture Notes in Computer Science},
pages = {1--37},
year = {2023},
publisher = {Springer},
doi = {10.1007/978-3-031-67695-6_1}
}