ARCH-COMP24 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, Clemens Blab, Marcelo Forets, Yuhao Jia, Taylor T. Johnson, Manuel Kranzl, Tobias Ladner, Lukas Linauer, Philipp Neubauer, Sophie Neubauer, Christian Schilling, Huan Zhang and Xiangru Zhong

Reference:

Diego Manzanas Lopez, Matthias Althoff, Luis Benet, Clemens Blab, Marcelo Forets, Yuhao Jia, Taylor T. Johnson, Manuel Kranzl, Tobias Ladner, Lukas Linauer, Philipp Neubauer, Sophie Neubauer, Christian Schilling, Huan Zhang and Xiangru Zhong, "ARCH-COMP24 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants", In EPiC Series in Computing 103, 11th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH'24), EasyChair, pp. 64–121, 2024.

Bibtex Entry:

@inproceedings{lopez2024archcomp_ainncs,
  title = {ARCH-COMP24 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 Clemens Blab and Marcelo Forets and Yuhao Jia and Taylor T. Johnson and Manuel Kranzl and Tobias Ladner and Lukas Linauer and Philipp Neubauer and Sophie Neubauer and Christian Schilling and Huan Zhang and Xiangru Zhong},
  year = {2024},
  month = oct,
  booktitle = {EPiC Series in Computing 103, 11th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH'24)},
  volume = {103},
  pages = {64--121},
  publisher = {EasyChair},
  doi = {10.29007/mxld},
  keywords = {formal verification, Neural Network Control Systems, Neural Network Verification, neural networks, verification},
  publabel = {OW15},
  pubtype = {OW},
}