TY  - RPRT
TI  - Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants
AU  - Alessandro Abate
AU  - Iury Bessa
AU  - Dario Cattaruzza
AU  - Lucas Cordeiro
AU  - Cristina David
AU  - Pascal Kesseli
AU  - Daniel Kroening
AU  - Elizabeth Polgreen
PY  - 2017
UR  - https://arxiv.org/abs/1705.00981
ID  - 1705.00981
ER  -