1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.LO2020★ 1 cited
CounterExample Guided Neural Synthesis
Elizabeth Polgreen, Ralph Abboud, Daniel Kroening
Program synthesis is the generation of a program from a specification. Correct synthesis is difficult, and methods that provide formal guarantees suffer from scalability issues. On…
cs.LO2019
Verifying Reachability Properties in Markov Chains via Incremental Induction
Elizabeth Polgreen, Martin Brain, Martin Fraenzle +1
There is a scalability gap between probabilistic and non-probabilistic verification. Probabilistic model checking tools are based either on explicit engines or on (Multi-Terminal)…