CITATION.bib

@inproceedings{LopezABCFFHJLLSZ22,
  author    = {Diego Manzanas Lopez and
               Matthias Althoff and
               Luis Benet and
               Xin Chen and
               Jiameng Fan and
               Marcelo Forets and
               Chao Huang and
               Taylor T. Johnson and
               Tobias Ladner and
               Wenchao Li and
               Christian Schilling and
               Qi Zhu},
  editor    = {Goran Frehse and
               Matthias Althoff},
  title     = {{ARCH-COMP22} Category Report: Artificial Intelligence and Neural
               Network Control Systems {(AINNCS)} for Continuous and Hybrid Systems
               Plants},
  booktitle = {{ARCH}},
  series    = {EPiC Series in Computing},
  volume    = {90},
  pages     = {142--184},
  publisher = {EasyChair},
  year      = {2022},
  url       = {https://doi.org/10.29007/wfgr},
  doi       = {10.29007/wfgr}
}