@inproceedings{henzinger2020outside,
  title={Outside the Box: Abstraction-Based Monitoring of Neural Networks},
  author={Henzinger, Thomas A and Lukina, Anna and Schilling, Christian},
  booktitle={Proceedings of the 24th European Conference on Artificial Intelligence},
  volume={325},
  year={2020},
  organization={Frontiers in Artificial Intelligence and Applications, IOS Press},
  url_doi={https://ebooks.iospress.nl/publication/55170},
  url_GitHub={https://github.com/VeriXAI/Outside-the-Box}
}

{"_id":"evkfDookhB2ayDphk","bibbaseid":"henzinger-lukina-schilling-outsidetheboxabstractionbasedmonitoringofneuralnetworks-2020","author_short":["Henzinger, T. A","Lukina, A.","Schilling, C."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Outside the Box: Abstraction-Based Monitoring of Neural Networks","author":[{"propositions":[],"lastnames":["Henzinger"],"firstnames":["Thomas","A"],"suffixes":[]},{"propositions":[],"lastnames":["Lukina"],"firstnames":["Anna"],"suffixes":[]},{"propositions":[],"lastnames":["Schilling"],"firstnames":["Christian"],"suffixes":[]}],"booktitle":"Proceedings of the 24th European Conference on Artificial Intelligence","volume":"325","year":"2020","organization":"Frontiers in Artificial Intelligence and Applications, IOS Press","url_doi":"https://ebooks.iospress.nl/publication/55170","url_github":"https://github.com/VeriXAI/Outside-the-Box","bibtex":"@inproceedings{henzinger2020outside,\n title={Outside the Box: Abstraction-Based Monitoring of Neural Networks},\n author={Henzinger, Thomas A and Lukina, Anna and Schilling, Christian},\n booktitle={Proceedings of the 24th European Conference on Artificial Intelligence},\n volume={325},\n year={2020},\n organization={Frontiers in Artificial Intelligence and Applications, IOS Press},\n url_doi={https://ebooks.iospress.nl/publication/55170},\n url_GitHub={https://github.com/VeriXAI/Outside-the-Box}\n}\n\n","author_short":["Henzinger, T. A","Lukina, A.","Schilling, C."],"key":"henzinger2020outside","id":"henzinger2020outside","bibbaseid":"henzinger-lukina-schilling-outsidetheboxabstractionbasedmonitoringofneuralnetworks-2020","role":"author","urls":{" doi":"https://ebooks.iospress.nl/publication/55170"," github":"https://github.com/VeriXAI/Outside-the-Box"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://bibbase.org/network/files/G5eTRxih7rgFAfvXm","dataSources":["GLaspvN5TK5kTeBzM","DvtkfMrf7vkMYxo4r","DemgDoocsmikyJJo7","WEznGv8jDoFee2dzG","zKJJFNb8JGPdNpeGG"],"keywords":[],"search_terms":["outside","box","abstraction","based","monitoring","neural","networks","henzinger","lukina","schilling"],"title":"Outside the Box: Abstraction-Based Monitoring of Neural Networks","year":2020}