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

by Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Souradeep Dutta, Taylor J. Carpenter, Radoslav Ivanov and Taylor T. Johnson

Reference:

Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Souradeep Dutta, Taylor J. Carpenter, Radoslav Ivanov and Taylor T. Johnson, "ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants", In ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems, EasyChair, pp. 103–119, 2019.

Bibtex Entry:

@inproceedings{manzanas2019arch_ainncs,
  title = {ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants},
  author = {Diego Manzanas Lopez and Patrick Musau and Hoang-Dung Tran and Souradeep Dutta and Taylor J. Carpenter and Radoslav Ivanov and Taylor T. Johnson},
  year = {2019},
  booktitle = {ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems},
  volume = {61},
  pages = {103--119},
  publisher = {EasyChair},
  doi = {10.29007/rgv8},
  publabel = {OW4},
  pubtype = {OW},
  dblp = {conf/cpsweek/LopezMTDCIJ19},
  s2id = {263861068},
}