%0 Journal Article %1 journals/sttt/GrosHHKS23 %A Gros, Timo P. %A Hermanns, Holger %A Hoffmann, Jörg %A Klauck, Michaela %A Steinmetz, Marcel %D 2023 %J Int. J. Softw. Tools Technol. Transf. %K dblp %N 3 %P 407-426 %T Analyzing neural network behavior through deep statistical model checking. %U http://dblp.uni-trier.de/db/journals/sttt/sttt25.html#GrosHHKS23 %V 25

@article{journals/sttt/GrosHHKS23, added-at = {2023-11-01T00:00:00.000+0100}, author = {Gros, Timo P. and Hermanns, Holger and Hoffmann, Jörg and Klauck, Michaela and Steinmetz, Marcel}, biburl = {https://www.bibsonomy.org/bibtex/211f441ab7999e5532c370fbea383c1f0/dblp}, ee = {https://doi.org/10.1007/s10009-022-00685-9}, interhash = {7553718eeb5c0f815d89870af9a35e8c}, intrahash = {11f441ab7999e5532c370fbea383c1f0}, journal = {Int. J. Softw. Tools Technol. Transf.}, keywords = {dblp}, month = {June}, number = 3, pages = {407-426}, timestamp = {2024-04-08T20:36:16.000+0200}, title = {Analyzing neural network behavior through deep statistical model checking.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt25.html#GrosHHKS23}, volume = 25, year = 2023 }