@misc{indiciae3577eb354ef0,
  title = {Computation and verification of contraction metrics for exponentially stable equilibria},
  author = {Peter Giesl and Sigurdur Hafstein and Iman Mehrabinezhad},
  year = {2019},
  url = {https://arxiv.org/abs/1909.10334},
  note = {Source identifier: 1909.10334}
}