Cristina David : 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)