@misc{indiciae07b57c97fbda,
  title = {Safe Value Functions},
  author = {Pierre-François Massiani and Steve Heim and Friedrich Solowjow and Sebastian Trimpe},
  year = {2022},
  doi = {10.1109/tac.2022.3200948},
  url = {https://arxiv.org/abs/2105.12204},
  note = {Source identifier: 2105.12204}
}