Elizabeth Polgreen
Elizabeth Polgreen
Selected Publications
-
Automated formal synthesis of provably safe digital controllers for continuous plants
Alessandro Abate‚ Iury Bessa‚ Lucas Cordeiro‚ Cristina David‚ Pascal Kesseli‚ Daniel Kroening and Elizabeth Polgreen
In Acta Informatica. December, 2019.
Details about Automated formal synthesis of provably safe digital controllers for continuous plants | BibTeX data for Automated formal synthesis of provably safe digital controllers for continuous plants | DOI (10.1007/s00236-019-00359-1)
-
Automated Experiment Design for Data−Efficient Verification of Parametric Markov Decision Processes
Elizabeth Polgreen‚ Viraj B. Wijesuriya‚ Sofie Haesaert and Alessandro Abate
In QEST. Vol. 10503 of Lecture Notes in Computer Science. Pages 259–274. Springer. 2017.
Details about Automated Experiment Design for Data−Efficient Verification of Parametric Markov Decision Processes | BibTeX data for Automated Experiment Design for Data−Efficient Verification of Parametric Markov Decision Processes
-
DSSynth: an automated digital controller synthesis tool for physical plants
Alessandro Abate‚ Iury Bessa‚ Dario Cattaruzza‚ Lennon Chaves‚ Lucas C. Cordeiro‚ Cristina David‚ Pascal Kesseli‚ Daniel Kroening and Elizabeth Polgreen
In ASE. Pages 919–924. IEEE Computer Society. 2017.
Details about DSSynth: an automated digital controller synthesis tool for physical plants | BibTeX data for DSSynth: an automated digital controller synthesis tool for physical plants