Elizabeth Polgreen

Identifiers

• name variant Elizabeth Polgreen 0.60 · backfill

Papers (2)

1. Automated Experiment Design for Data-Efficient Verification of Parametric Markov Decision Processes cs.LG · 2017 · author #1
2. 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