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

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

Reference:

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

Bibtex Entry:

@inproceedings{johnson2021archcomp_ainncs,
  title = {ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants},
  author = {Taylor T. Johnson and Diego Manzanas Lopez and Luis Benet and Marcelo Forets and Sebastián Guadalupe and Christian Schilling and Radoslav Ivanov and Taylor J. Carpenter and James Weimer and Insup Lee},
  year = {2021},
  month = dec,
  booktitle = {EPiC Series in Computing 80, 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)},
  volume = {80},
  pages = {90--119},
  publisher = {EasyChair},
  doi = {10.29007/kfk9},
  publabel = {OW10},
  pubtype = {OW},
  dblp = {conf/arch/JohnsonLBFG0ICW21},
  s2id = {263873983},
  pdf = "research/johnson2021archcomp_ainncs.pdf",
}