ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants (bibtex)

by Diego Manzanas Lopez, Matthias Althoff, Luis Benet, Xin Chen, Jiameng Fan, Marcelo Forets, Chao Huang, Taylor T. Johnson, Tobias Ladner, Wenchao Li, Christian Schilling and Qi Zhu

Reference:

Diego Manzanas Lopez, Matthias Althoff, Luis Benet, Xin Chen, Jiameng Fan, Marcelo Forets, Chao Huang, Taylor T. Johnson, Tobias Ladner, Wenchao Li, Christian Schilling and Qi Zhu, "ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants", In EPiC Series in Computing 90, 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), EasyChair, pp. 142–98, 2022.

Bibtex Entry:

@inproceedings{lopez2022archcomp_ainncs,
  title = {ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants},
  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},
  year = {2022},
  month = sep,
  booktitle = {EPiC Series in Computing 90, 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)},
  volume = {90},
  pages = {142--98},
  publisher = {EasyChair},
  doi = {10.29007/wfgr},
  publabel = {OW12},
  pubtype = {OW},
  dblp = {conf/arch/LopezABCFFHJLL022},
  s2id = {195464916},
  pdf = "research/lopez2022archcomp_ainncs.pdf",
}