APA (7th ed.) Citation

Morettin, P., Passerini, A., & Sebastiani, R. (2024). Probabilistic ML Verification via Weighted Model Integration.

Chicago Style (17th ed.) Citation

Morettin, Paolo, Andrea Passerini, and Roberto Sebastiani. Probabilistic ML Verification via Weighted Model Integration. 2024.

MLA (9th ed.) Citation

Morettin, Paolo, et al. Probabilistic ML Verification via Weighted Model Integration. 2024.