Cristina David : 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",
}