Counterexample-Guided Model Synthesis


Date
Jul 22, 2017 4:49 PM — 4:49 PM
Location
Heidelberg, Germany
Mathias Preiner
Research Scientist