The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems (bibtex)

by Alessandro Abate, Matthias Althoff, Lei Bu, Gidon Ernst, Goran Frehse, Luca Geretti, Taylor T. Johnson, Claudio Menghi, Stefan Mitsch, Stefan Schupp and Sadegh Soudjani

Reference:

Alessandro Abate, Matthias Althoff, Lei Bu, Gidon Ernst, Goran Frehse, Luca Geretti, Taylor T. Johnson, Claudio Menghi, Stefan Mitsch, Stefan Schupp and Sadegh Soudjani, "The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems", In TOOLympics Challenge 2023 and TOOLympics 2024, Springer, pp. 1–37, 2024.

Bibtex Entry:

@inproceedings{abate2024toolympics,
  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 = {2024},
  month = oct,
  booktitle = {TOOLympics Challenge 2023 and TOOLympics 2024},
  volume = {14550},
  pages = {1--37},
  publisher = {Springer},
  doi = {10.1007/978-3-031-67695-6_1},
  keywords = {formal verification, hybrid systems, competition},
  publabel = {OC18},
  pubtype = {OC},
  dblp = {conf/toolympics/AbateABEFGJMMSS23},
  s2id = {278668440},
}