TY  - RPRT
TI  - Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants
AU  - Alessandro Abate
AU  - Iury Bessa
AU  - Dario Cattaruzza
AU  - Lucas Cordeiro
AU  - Cristina David
AU  - Pascal Kesseli
AU  - Daniel Kroening
PY  - 2017
DO  - 10.1145/3049797.3049802
UR  - https://arxiv.org/abs/1610.04761
ID  - 1610.04761
ER  -