Concepedia

Elizabeth Polgreen

EP

Statistics

Publications

3

Citations

32

H-Index

3

Active since

2017

Affiliations

University of California, Berkeley(Current)

University of Oxford

Universidade Federal do Amazonas

Elizabeth Polgreen is an author at University of California, Berkeley.

ORCID

Publications per year

2017–2023

3

Publications

3

Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants

Alessandro Abate, Iury Bessa, Dario Cattaruzza et al. · arXiv (Cornell University) · 2017 · 12 citations · Full text

Automated formal synthesis of provably safe digital controllers for continuous plants

Alessandro Abate, Iury Bessa, Lucas C. Cordeiro et al. · Acta Informatica · 2019 · 10 citations · Full text

Towards Building Verifiable CPS using Lingua Franca

Shaokai Lin, Yatin A. Manerkar, Marten Lohstroh et al. · ACM Transactions on Embedded Computing Systems · 2023 · 10 citations · Full text

1–3 of 3