Automated formal synthesis of digital controllers for state-space physical plants (29th International Conference on Computer-Aided Verification, 2017)

(untitled) - Abate, A; Bessa, I; Cattaruzza, D; Cordeiro, L; David, C; Kesseli, P; Kroening, D; Polgreen, E