Is Machine Learning Model Checking Privacy Preserving?

Luca Bortolussi, Laura Nenzi, Gaia Saveri, Simone Silvetti

Browse the full ISoLA paper archive.