1 citations · 2 across the 3 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
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★ 1 cited
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)…