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

by Diego Manzanas Lopez, Matthias Althoff, Marcelo Forets, Taylor T. Johnson, Tobias Ladner and Christian Schilling

Reference:

Diego Manzanas Lopez, Matthias Althoff, Marcelo Forets, Taylor T. Johnson, Tobias Ladner and Christian Schilling, "ARCH-COMP23 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants", In EPiC Series in Computing 96, 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH'23), EasyChair, pp. 89–51, 2023.

Bibtex Entry:

@inproceedings{lopez2023archcomp_ainncs,
  title = {ARCH-COMP23 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants},
  author = {Diego Manzanas Lopez and Matthias Althoff and Marcelo Forets and Taylor T. Johnson and Tobias Ladner and Christian Schilling},
  year = {2023},
  month = oct,
  booktitle = {EPiC Series in Computing 96, 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH'23)},
  volume = {96},
  pages = {89--51},
  publisher = {EasyChair},
  doi = {10.29007/x38n},
  keywords = {formal verification, Neural Network Control Systems, Neural Network Verification, neural networks, verification},
  publabel = {OW14},
  pubtype = {OW},
  dblp = {conf/arch/LopezAFJL023},
  pdf = "research/lopez2023archcomp_ainncs.pdf",
}