Automated formal synthesis of provably safe digital controllers for continuous plants

Alessandro Abate, Iury Bessa, Lucas Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'Automated formal synthesis of provably safe digital controllers for continuous plants'. Together they form a unique fingerprint.

Computer Science