Elizabeth Polgreen
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Synthesising programs with non-trivial constants Journal of Automated Reasoning | 2023-06-27 | Paper |
| Counterexample guided inductive synthesis modulo theories Computer Aided Verification | 2023-05-26 | Paper |
| Satisfiability and synthesis modulo oracles (available as arXiv preprint) | 2022-07-08 | Paper |
| MedleySolver: online SMT algorithm selection | 2022-03-22 | Paper |
| Automated formal synthesis of provably safe digital controllers for continuous plants Acta Informatica | 2020-03-06 | Paper |
| Data-efficient Bayesian verification of parametric Markov chains | 2018-01-11 | Paper |
Research outcomes over time
This page was built for person: Elizabeth Polgreen
