Elizabeth Polgreen
Identifiers
- name variant Elizabeth Polgreen 0.60 · backfill
Papers (2)
- Automated Experiment Design for Data-Efficient Verification of Parametric Markov Decision Processes cs.LG · 2017 · author #1
- Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants cs.SY · 2017 · author #8
Mentions
- 1707.01322 #1 · arxiv_oai · confidence 0.70 Elizabeth Polgreen
- 1705.00981 #8 · arxiv_oai · confidence 0.70 Elizabeth Polgreen
Frequent Coauthors
- Alessandro Abate 2 shared papers
- Cristina David 1 shared papers
- Daniel Kroening 1 shared papers
- Dario Cattaruzza 1 shared papers
- Iury Bessa 1 shared papers
- Lucas Cordeiro 1 shared papers
- Pascal Kesseli 1 shared papers
- Sofie Haesaert 1 shared papers
- Viraj Wijesuriya 1 shared papers