TY  - RPRT
TI  - Synthesis of Lyapunov Functions using Formal Verification
AU  - Lukas Munser
AU  - Grigory Devadze
AU  - Stefan Streif
PY  - 2021
UR  - https://arxiv.org/abs/2112.01835
ID  - 2112.01835
ER  -