Alessandro Abate, Matthias Althoff, Lei Bu, Gidon Ernst, Goran Frehse, Luca Geretti, Taylor T. Johnson, Claudio Menghi, Stefan Mitsch, Stefan Schupp, Sadegh Soudjani. The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems. In Dirk Beyer 0001, Arnd Hartmanns, Fabrice Kordon, editors, TOOLympics Challenge 2023 - Updates, Results, Successes of the Formal-Methods Competitions, TOOLympics 2023, Paris, France. Volume 14550 of Lecture Notes in Computer Science, pages 1-37, Springer, 2023. [doi]
@inproceedings{AbateABEFGJMMSS23,
title = {The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems},
author = {Alessandro Abate and Matthias Althoff and Lei Bu and Gidon Ernst and Goran Frehse and Luca Geretti and Taylor T. Johnson and Claudio Menghi and Stefan Mitsch and Stefan Schupp and Sadegh Soudjani},
year = {2023},
doi = {10.1007/978-3-031-67695-6_1},
url = {https://doi.org/10.1007/978-3-031-67695-6_1},
researchr = {https://researchr.org/publication/AbateABEFGJMMSS23},
cites = {0},
citedby = {0},
pages = {1-37},
booktitle = {TOOLympics Challenge 2023 - Updates, Results, Successes of the Formal-Methods Competitions, TOOLympics 2023, Paris, France},
editor = {Dirk Beyer 0001 and Arnd Hartmanns and Fabrice Kordon},
volume = {14550},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-031-67695-6},
}