Elizabeth Polgreen : Publications

Click here to download all publications in a single bibtex file

@article{Abate2019,
  title = "Automated formal synthesis of provably safe digital controllers for continuous plants",
  author = "Abate, Alessandro and Bessa, Iury and Cordeiro, Lucas and David, Cristina and Kesseli, Pascal and Kroening, Daniel and Polgreen, Elizabeth",
  year = "2019",
  issn = "1432-0525",
  journal = "Acta Informatica",
  month = "Dec",
  doi = "10.1007/s00236-019-00359-1",
}

@inproceedings{DBLP:conf/qest/PolgreenWHA17,
  title = "Automated Experiment Design for Data-Efficient Verification of Parametric Markov Decision Processes",
  author = "Elizabeth Polgreen and Viraj B. Wijesuriya and Sofie Haesaert and Alessandro Abate",
  year = "2017",
  booktitle = "{QEST}",
  pages = "259--274",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "10503",
}

@inproceedings{DBLP:conf/kbse/AbateBCCCDKKP17,
  title = "DSSynth: an automated digital controller synthesis tool for physical plants",
  author = "Alessandro Abate and Iury Bessa and Dario Cattaruzza and Lennon Chaves and Lucas C. Cordeiro and Cristina David and Pascal Kesseli and Daniel Kroening and Elizabeth Polgreen",
  year = "2017",
  booktitle = "{ASE}",
  pages = "919--924",
  publisher = "{IEEE} Computer Society",
}

@inproceedings{DBLP:conf/cav/AbateBCCDKKP17,
  title = "Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants",
  author = "Alessandro Abate and Iury Bessa and Dario Cattaruzza and Lucas C. Cordeiro and Cristina David and Pascal Kesseli and Daniel Kroening and Elizabeth Polgreen",
  year = "2017",
  booktitle = "{CAV} {(1)}",
  pages = "462--482",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "10426",
}

@inproceedings{DBLP:conf/qest/PolgreenWHA16,
  title = "Data-Efficient Bayesian Verification of Parametric Markov Chains",
  author = "Elizabeth Polgreen and Viraj B. Wijesuriya and Sofie Haesaert and Alessandro Abate",
  year = "2016",
  booktitle = "{QEST}",
  pages = "35--51",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "9826",
}