BibTeX record conf/ecai/HenzingerL020

download as .bib file

@inproceedings{DBLP:conf/ecai/HenzingerL020,
  author    = {Thomas A. Henzinger and
               Anna Lukina and
               Christian Schilling},
  title     = {Outside the Box: Abstraction-Based Monitoring of Neural Networks},
  booktitle = {{ECAI}},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {325},
  pages     = {2433--2440},
  publisher = {{IOS} Press},
  year      = {2020}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics