Elizabeth Polgreen

| CV | Publications | Slides | GitHub |

This is a selection of slides I have used in presentations, which I am afraid won't make much sense without explanation.

CounterExample Guided Inductive Synthesis modulo Theories Automated experiment design for data-efficient verification of parametric Markov decision processes Data-efficient Bayesian verification of parametric Markov Chains
Synthesis is the new SAT solving Model Checking Xen Satisfiability and Synthesis Modulo Oracles