Automated formal synthesis of provably safe digital controllers for continuous plants

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

Synthesising Programs with Non-trivial Constants

por Abate, Alessandro, Barbosa, Haniel, Barrett, Clark, David, Cristina, Kesseli, Pascal, Kroening, Daniel, Polgreen, Elizabeth, Reynolds, Andrew, Tinelli, Cesare
Publicado 2023