@misc{indiciae8933725da93a,
  title = {Risk-sensitive safety specifications for stochastic systems using Conditional Value-at-Risk},
  author = {Margaret P. Chapman and Jonathan P. Lacotte and Kevin M. Smith and Insoon Yang and Yuxi Han and Marco Pavone and Claire J. Tomlin},
  year = {2020},
  url = {https://arxiv.org/abs/1909.09703},
  note = {Source identifier: 1909.09703}
}