@misc{indiciae43949f0ac416,
  title = {Robust Estimator-Based Safety Verification: A Vector Norm Approach},
  author = {Binghan He and Gray C. Thomas and Luis Sentis},
  year = {2020},
  doi = {10.23919/acc45564.2020.9147276},
  url = {https://arxiv.org/abs/1910.02317},
  note = {Source identifier: 1910.02317}
}