@article{kueffner2023into,
  title={Into the unknown: active monitoring of neural networks (extended version)},
  author={Kueffner, Konstantin and Lukina, Anna and Schilling, Christian and Henzinger, Thomas A},
  journal={International Journal on Software Tools for Technology Transfer},
  volume={25},
  number={4},
  pages={575--592},
  year={2023},
  publisher={Springer Berlin Heidelberg Berlin/Heidelberg},
  url_doi={https://doi.org/10.1007/s10009-023-00711-4},
  url_GitHub={https://github.com/VeriXAI/Into-the-Unknown-extended}
}

{"_id":"NRaiNDkjz8t8T4EM6","bibbaseid":"kueffner-lukina-schilling-henzinger-intotheunknownactivemonitoringofneuralnetworksextendedversion-2023","author_short":["Kueffner, K.","Lukina, A.","Schilling, C.","Henzinger, T. A"],"bibdata":{"bibtype":"article","type":"article","title":"Into the unknown: active monitoring of neural networks (extended version)","author":[{"propositions":[],"lastnames":["Kueffner"],"firstnames":["Konstantin"],"suffixes":[]},{"propositions":[],"lastnames":["Lukina"],"firstnames":["Anna"],"suffixes":[]},{"propositions":[],"lastnames":["Schilling"],"firstnames":["Christian"],"suffixes":[]},{"propositions":[],"lastnames":["Henzinger"],"firstnames":["Thomas","A"],"suffixes":[]}],"journal":"International Journal on Software Tools for Technology Transfer","volume":"25","number":"4","pages":"575–592","year":"2023","publisher":"Springer Berlin Heidelberg Berlin/Heidelberg","url_doi":"https://doi.org/10.1007/s10009-023-00711-4","url_github":"https://github.com/VeriXAI/Into-the-Unknown-extended","bibtex":"@article{kueffner2023into,\n title={Into the unknown: active monitoring of neural networks (extended version)},\n author={Kueffner, Konstantin and Lukina, Anna and Schilling, Christian and Henzinger, Thomas A},\n journal={International Journal on Software Tools for Technology Transfer},\n volume={25},\n number={4},\n pages={575--592},\n year={2023},\n publisher={Springer Berlin Heidelberg Berlin/Heidelberg},\n url_doi={https://doi.org/10.1007/s10009-023-00711-4},\n url_GitHub={https://github.com/VeriXAI/Into-the-Unknown-extended}\n}\n\n","author_short":["Kueffner, K.","Lukina, A.","Schilling, C.","Henzinger, T. A"],"key":"kueffner2023into","id":"kueffner2023into","bibbaseid":"kueffner-lukina-schilling-henzinger-intotheunknownactivemonitoringofneuralnetworksextendedversion-2023","role":"author","urls":{" doi":"https://doi.org/10.1007/s10009-023-00711-4"," github":"https://github.com/VeriXAI/Into-the-Unknown-extended"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://bibbase.org/network/files/G5eTRxih7rgFAfvXm","dataSources":["DvtkfMrf7vkMYxo4r","DemgDoocsmikyJJo7","zKJJFNb8JGPdNpeGG","WEznGv8jDoFee2dzG"],"keywords":[],"search_terms":["unknown","active","monitoring","neural","networks","extended","version","kueffner","lukina","schilling","henzinger"],"title":"Into the unknown: active monitoring of neural networks (extended version)","year":2023}