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

by Taylor T. Johnson, Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Elena Botoeva, Francesco Leofante, Amir Maleki, Chelsea Sidrane, Jiameng Fan and Chao Huang

Reference:

Taylor T. Johnson, Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Elena Botoeva, Francesco Leofante, Amir Maleki, Chelsea Sidrane, Jiameng Fan and Chao Huang, "ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants", In EPiC Series in Computing 74, 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH'20), EasyChair, pp. 107–139, 2020.

Bibtex Entry:

@inproceedings{johnson2020archcomp_ainncs,
  title = {ARCH-COMP20 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 Patrick Musau and Hoang-Dung Tran and Elena Botoeva and Francesco Leofante and Amir Maleki and Chelsea Sidrane and Jiameng Fan and Chao Huang},
  year = {2020},
  month = sep,
  booktitle = {EPiC Series in Computing 74, 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH'20)},
  volume = {74},
  pages = {107--139},
  publisher = {EasyChair},
  doi = {10.29007/9xgv},
  publabel = {OW8},
  pubtype = {OW},
  dblp = {conf/arch/JohnsonLMTBLMSF20},
  pdf = "research/johnson2020archcomp_ainncs.pdf",
}