BibTeX record conf/arch/JohnsonLBFG0ICW21

• > Home > conf/arch/JohnsonLBFG0ICW21

@inproceedings{DBLP:conf/arch/JohnsonLBFG0ICW21,
  author       = {Taylor T. Johnson and
                  Diego Manzanas Lopez and
                  Luis Benet and
                  Marcelo Forets and
                  Sebasti{\'{a}}n Guadalupe and
                  Christian Schilling and
                  Radoslav Ivanov and
                  Taylor J. Carpenter and
                  James Weimer and
                  Insup Lee},
  editor       = {Goran Frehse and
                  Matthias Althoff},
  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), Brussels, Belgium, July 9, 2021},
  series       = {EPiC Series in Computing},
  volume       = {80},
  pages        = {90--119},
  publisher    = {EasyChair},
  year         = {2021},
  url          = {https://doi.org/10.29007/kfk9},
  doi          = {10.29007/KFK9},
  timestamp    = {Thu, 26 Jan 2023 14:05:52 +0100},
  biburl       = {https://dblp.org/rec/conf/arch/JohnsonLBFG0ICW21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}