TY  - RPRT
TI  - Inductive Certificate Synthesis for Control Design
AU  - Hadi Ravanbakhsh
PY  - 2018
UR  - https://arxiv.org/abs/1805.01822
ID  - 1805.01822
ER  -