Counterexample-Guided Model Synthesis


Date
Apr 25, 2017 11:30 AM — 12:00 PM
Location
Uppsala, Sweden
Mathias Preiner
Research Scientist