@Article{GPP23,
    Author       = "Guidotti, D. and Pandolfo, L. and Pulina, L.",
    Year         = "2023",
    Title        = "{Leveraging Satisfiability Modulo Theory Solvers for Verification of Neural
                    Networks in Predictive Maintenance Applications}",
    Journal      = "Information",
    Volume       = "14",
    Number       = "7",
    Pages        = "397",
    Comment      = "TPTPRef"
}