SAIV 2025
SAIV 2024 has successfully concluded! Stay tuned for the coming edition.
Speaker
Paolo Morettin
University of Trento
Research Interests: Probabilistic {reasoning, learning} with {logical, algebraic} constraints.
More Information:
Talks at this conference:
Mon, 14:30 | Towards Probabilistic Verification of AI Systems via Weighted Model Integration |