TY  - RPRT
TI  - Computation and verification of contraction metrics for exponentially stable equilibria
AU  - Peter Giesl
AU  - Sigurdur Hafstein
AU  - Iman Mehrabinezhad
PY  - 2019
UR  - https://arxiv.org/abs/1909.10334
ID  - 1909.10334
ER  -