%0 Journal Article %1 journals/information/GuidottiPP23 %A Guidotti, Dario %A Pandolfo, Laura %A Pulina, Luca %D 2023 %J Inf. %K dblp %N 7 %P 397 %T Leveraging Satisfiability Modulo Theory Solvers for Verification of Neural Networks in Predictive Maintenance Applications. %U http://dblp.uni-trier.de/db/journals/information/information14.html#GuidottiPP23 %V 14

@article{journals/information/GuidottiPP23, added-at = {2023-08-18T00:00:00.000+0200}, author = {Guidotti, Dario and Pandolfo, Laura and Pulina, Luca}, biburl = {https://www.bibsonomy.org/bibtex/2fb97b20141d124e7a285f2777bce1639/dblp}, ee = {https://doi.org/10.3390/info14070397}, interhash = {af4150b53b1cbd5c8fad616ce11c30b1}, intrahash = {fb97b20141d124e7a285f2777bce1639}, journal = {Inf.}, keywords = {dblp}, number = 7, pages = 397, timestamp = {2024-04-08T19:08:35.000+0200}, title = {Leveraging Satisfiability Modulo Theory Solvers for Verification of Neural Networks in Predictive Maintenance Applications.}, url = {http://dblp.uni-trier.de/db/journals/information/information14.html#GuidottiPP23}, volume = 14, year = 2023 }