TY  - RPRT
TI  - Probabilistic ML Verification via Weighted Model Integration
AU  - Paolo Morettin
AU  - Andrea Passerini
AU  - Roberto Sebastiani
PY  - 2024
UR  - https://arxiv.org/abs/2402.04892
ID  - 2402.04892
ER  -