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 |