Collaborated with:A.Abate C.David P.Kesseli D.Kroening I.Bessa D.Cattaruzza L.C.Cordeiro L.C.Chaves
Talks about:synthesi (3) control (2) physic (2) plant (2) digit (2) autom (2) counterexampl (1) theori (1) modulo (1) induct (1)
Person: Elizabeth Polgreen
DBLP: Polgreen:Elizabeth
Contributed to:
2017
20172018Wrote 3 papers:
- ASE-2017-AbateBCCCDKKP #automation #named #physics #synthesis
- DSSynth: an automated digital controller synthesis tool for physical plants (AA, IB, DC, LCC, LCC, CD, PK, DK, EP), pp. 919–924.
- CAV-2017-AbateBCCDKKP #automation #physics #synthesis
- Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants (AA, IB, DC, LCC, CD, PK, DK, EP), pp. 462–482.
- CAV-2018-AbateDKKP #induction #modulo theories #synthesis
- Counterexample Guided Inductive Synthesis Modulo Theories (AA, CD, PK, DK, EP), pp. 270–288.