@misc{indiciae9a3febf04d3a,
  title = {Measures and LMIs for Adaptive Control Validation},
  author = {Daniel Wagner and Didier Henrion and Martin Hrom\{č\}ík},
  year = {2020},
  url = {https://arxiv.org/abs/2005.09313},
  note = {Source identifier: 2005.09313}
}