ARCH-COMP19 Category Report: Artificial Intelligence/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/Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants", In EPiC Series in Computing 61, 6th Applied Verification for Continuous and Hybrid Systems (ARCH'19), EasyChair, pp. 103–119, 2019.

Bibtex Entry:

@inproceedings{lopez2019archcomp,
  title = {ARCH-COMP19 Category Report: Artificial Intelligence/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},
  month = may,
  booktitle = {EPiC Series in Computing 61, 6th Applied Verification for Continuous and Hybrid Systems (ARCH'19)},
  volume = {61},
  pages = {103--119},
  publisher = {EasyChair},
  doi = {10.29007/rgv8},
  publabel = {OW6},
  pubtype = {OW},
  dblp = {conf/cpsweek/LopezMTDCIJ19},
  s2id = {263861068},
  pdf = "research/lopez2019archcomp.pdf",
}