SMLP: Symbolic Machine Learning Prover
The article presents Symbolic Machine Learning Prover (SMLP), a tool and library for system exploration based on data samples. SMLP uses a grey-box approach, combining statistical methods with machine learning…
Continue reading