@misc{indiciaea440b086ff6f,
  title = {Permissive Barrier Certificates for Safe Stabilization Using Sum-of-squares},
  author = {Li Wang and Dongkun Han and Magnus Egerstedt},
  year = {2018},
  url = {https://arxiv.org/abs/1802.08917},
  note = {Source identifier: 1802.08917}
}