BibTeX record conf/arch/JohnsonLBFG0ICW21

download as .bib file

  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
  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       = {},
  doi       = {10.29007/kfk9},
  timestamp = {Sat, 09 Apr 2022 12:35:17 +0200},
  biburl    = {},
  bibsource = {dblp computer science bibliography,}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics