Automated formal synthesis of digital controllers for state-space physical plants by Abate, A, Bessa, I, Cattaruzza, D, Cordeiro, L, David, C, Kesseli, P, Kroening, D, Polgreen, E

“…International Conference on Computer-Aided Verification…”