%0 Journal Article %1 journals/sttt/KueffnerLSH23 %A Kueffner, Konstantin %A Lukina, Anna %A Schilling, Christian %A Henzinger, Thomas A. %D 2023 %J Int. J. Softw. Tools Technol. Transf. %K dblp %N 4 %P 575-592 %T Into the unknown: active monitoring of neural networks (extended version). %U http://dblp.uni-trier.de/db/journals/sttt/sttt25.html#KueffnerLSH23 %V 25

@article{journals/sttt/KueffnerLSH23, added-at = {2023-11-28T00:00:00.000+0100}, author = {Kueffner, Konstantin and Lukina, Anna and Schilling, Christian and Henzinger, Thomas A.}, biburl = {https://www.bibsonomy.org/bibtex/267d33e29a71330d3dda63691a233930a/dblp}, ee = {https://doi.org/10.1007/s10009-023-00711-4}, interhash = {af91c056088cc8f1a6703a82f9c9cc30}, intrahash = {67d33e29a71330d3dda63691a233930a}, journal = {Int. J. Softw. Tools Technol. Transf.}, keywords = {dblp}, month = {August}, number = 4, pages = {575-592}, timestamp = {2024-04-08T20:36:22.000+0200}, title = {Into the unknown: active monitoring of neural networks (extended version).}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt25.html#KueffnerLSH23}, volume = 25, year = 2023 }