Verifying Static Constraints on Models Using General Formal Verification Methods.

Norbert Somogyi Gergely Mezei

Published in: MODELSWARD (2023)

Keyphrases

formal verification
statistical models
data sets
special case
machine learning methods
predictive power
computational cost
statistical methods
mathematical models
preprocessing
constraint satisfaction
linear regression