Elizabeth Polgreen : Publications
Journal papers
-
[1]
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)
Conference papers
-
[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
-
[2]
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
-
[3]
Automated Formal Synthesis of Digital Controllers for State−Space Physical Plants
Alessandro Abate‚ Iury Bessa‚ Dario Cattaruzza‚ Lucas C. Cordeiro‚ Cristina David‚ Pascal Kesseli‚ Daniel Kroening and Elizabeth Polgreen
In CAV (1). Vol. 10426 of Lecture Notes in Computer Science. Pages 462–482. Springer. 2017.
Details about Automated Formal Synthesis of Digital Controllers for State−Space Physical Plants | BibTeX data for Automated Formal Synthesis of Digital Controllers for State−Space Physical Plants
-
[4]
Data−Efficient Bayesian Verification of Parametric Markov Chains
Elizabeth Polgreen‚ Viraj B. Wijesuriya‚ Sofie Haesaert and Alessandro Abate
In QEST. Vol. 9826 of Lecture Notes in Computer Science. Pages 35–51. Springer. 2016.
Details about Data−Efficient Bayesian Verification of Parametric Markov Chains | BibTeX data for Data−Efficient Bayesian Verification of Parametric Markov Chains