Counterexample-Guided Model Synthesis

Project Slides

Date
Jul 22, 2017 4:49 PM — 4:49 PM
Event
International Workshop on Satisfiability Modulo Theories (SMT’17)
Location
Heidelberg, Germany
Mathias Preiner
Research Scientist