TY  - RPRT
TI  - Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers
AU  - Daniele Ahmed
AU  - Andrea Peruffo
AU  - Alessandro Abate
PY  - 2020
DO  - 10.1007/978-3-030-45190-5_6
UR  - https://arxiv.org/abs/2007.10865
ID  - 2007.10865
ER  -