Automated formal synthesis of provably safe digital controllers for continuous plants
| Title: | Automated formal synthesis of provably safe digital controllers for continuous plants |
|---|---|
| Authors: | Abate, AlessandroAff2; Bessa, IuryAff3; Cordeiro, LucasAff4; David, CristinaAff5; Kesseli, PascalAff6; Kroening, DanielAff2; Polgreen, ElizabethAff1, IDs00236019003591_cor7 |
| Source: | Acta Informatica. 57(12):223-244 |
| Database: | Springer Nature Journals |