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

Johnson, Taylor T.; Lopez, Diego Manzanas; Benet, Luis; Forets, Marcelo; Guadalupe, Sebastian; Schilling, Christian; Ivanov, Radoslav; Carpenter, Taylor J.; Weimer, James; Lee, Insup

doi:10.29007/kfk9

by Taylor T. Johnson, Diego Manzanas Lopez, Luis Benet, Marcelo Forets, Sebastian Guadalupe, Christian Schilling, Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Insup Lee

View PDF

Reference:

Taylor T. Johnson, Diego Manzanas Lopez, Luis Benet, Marcelo Forets, Sebastian Guadalupe, Christian Schilling, Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Insup Lee, "ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants", In 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21) (Goran Frehse, Matthias Althoff, eds.), EasyChair, vol. 80, pp. 90–119, 2021.

Bibtex Entry:

@inproceedings{johnson2021archcomp_ainncs,
  author    = {Taylor T. Johnson and Diego Manzanas Lopez and Luis Benet and Marcelo Forets and Sebastian Guadalupe and Christian Schilling and Radoslav Ivanov and Taylor J. Carpenter and James Weimer and Insup Lee},
  title     = {ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants},
  booktitle = {8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {80},
  pages     = {90--119},
  year      = {2021},
  publisher = {EasyChair},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/Jq4h},
  doi       = {10.29007/kfk9}
}