Martin Blicha
Martin Blicha
Affiliation: Argot Collective
Affiliation: University of Lugano
Pages in this Program
PyCHC: a Framework for Certified Horn Solving and CHC-based Design
Using Craig Interpolation for Explanation of Neural Networks
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑