@inproceedings{lukina2021into,
  title={Into the unknown: Active monitoring of neural networks},
  author={Lukina, Anna and Schilling, Christian and Henzinger, Thomas A},
  booktitle={International Conference on Runtime Verification},
  pages={42--61},
  year={2021},
  organization={Springer International Publishing Cham},
  url_doi={https://doi.org/10.1007/978-3-030-88494-9_3},
  url_GitHub={https://github.com/VeriXAI/Into-the-Unknown},
  url_Video={https://www.youtube.com/watch?v=FUbUduZGad0}
}

{"_id":"cuppnG8yqNFtxHcTe","bibbaseid":"lukina-schilling-henzinger-intotheunknownactivemonitoringofneuralnetworks-2021","author_short":["Lukina, A.","Schilling, C.","Henzinger, T. A"],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Into the unknown: Active monitoring of neural networks","author":[{"propositions":[],"lastnames":["Lukina"],"firstnames":["Anna"],"suffixes":[]},{"propositions":[],"lastnames":["Schilling"],"firstnames":["Christian"],"suffixes":[]},{"propositions":[],"lastnames":["Henzinger"],"firstnames":["Thomas","A"],"suffixes":[]}],"booktitle":"International Conference on Runtime Verification","pages":"42–61","year":"2021","organization":"Springer International Publishing Cham","url_doi":"https://doi.org/10.1007/978-3-030-88494-9_3","url_github":"https://github.com/VeriXAI/Into-the-Unknown","url_video":"https://www.youtube.com/watch?v=FUbUduZGad0","bibtex":"@inproceedings{lukina2021into,\n title={Into the unknown: Active monitoring of neural networks},\n author={Lukina, Anna and Schilling, Christian and Henzinger, Thomas A},\n booktitle={International Conference on Runtime Verification},\n pages={42--61},\n year={2021},\n organization={Springer International Publishing Cham},\n url_doi={https://doi.org/10.1007/978-3-030-88494-9_3},\n url_GitHub={https://github.com/VeriXAI/Into-the-Unknown},\n url_Video={https://www.youtube.com/watch?v=FUbUduZGad0}\n}\n\n","author_short":["Lukina, A.","Schilling, C.","Henzinger, T. A"],"key":"lukina2021into","id":"lukina2021into","bibbaseid":"lukina-schilling-henzinger-intotheunknownactivemonitoringofneuralnetworks-2021","role":"author","urls":{" doi":"https://doi.org/10.1007/978-3-030-88494-9_3"," github":"https://github.com/VeriXAI/Into-the-Unknown"," video":"https://www.youtube.com/watch?v=FUbUduZGad0"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://bibbase.org/network/files/G5eTRxih7rgFAfvXm","dataSources":["hXrZJL4srDQvAjKT8","GLaspvN5TK5kTeBzM","DvtkfMrf7vkMYxo4r","DemgDoocsmikyJJo7","WEznGv8jDoFee2dzG","zKJJFNb8JGPdNpeGG"],"keywords":[],"search_terms":["unknown","active","monitoring","neural","networks","lukina","schilling","henzinger"],"title":"Into the unknown: Active monitoring of neural networks","year":2021}