TY  - RPRT
TI  - Formal Synthesis of Lyapunov Neural Networks
AU  - Alessandro Abate
AU  - Daniele Ahmed
AU  - Mirco Giacobbe
AU  - Andrea Peruffo
PY  - 2020
DO  - 10.1109/lcsys.2020.3005328
UR  - https://arxiv.org/abs/2003.08910
ID  - 2003.08910
ER  -