Automated formal synthesis of provably safe digital controllers for continuous plants
| Image |  |
|---|---|
| Description | scientific article published on 06 December 2019 |
| Author/s |
author: Lucas Cordeiro Elizabeth Polgreen Cristina David Alessandro Abate Pascal Kesseli Iury Valente de Bessa Daniel Kroening |
| Publication date | December 6, 2019 |
| Language | |
| Country of origin | |
| Wikipedia link | |
| Copyright status | |
| Missing/wrong data? | Edit Wikidata item |