TY  - RPRT
TI  - Risk-sensitive safety specifications for stochastic systems using Conditional Value-at-Risk
AU  - Margaret P. Chapman
AU  - Jonathan P. Lacotte
AU  - Kevin M. Smith
AU  - Insoon Yang
AU  - Yuxi Han
AU  - Marco Pavone
AU  - Claire J. Tomlin
PY  - 2020
UR  - https://arxiv.org/abs/1909.09703
ID  - 1909.09703
ER  -