Risk-sensitive safety analysis using conditional value-at-risk Margaret P. Chapman, Riccardo Bonalli, Kevin M. Smith, Insoon Yang, Marco Pavone, and Claire J. Tomlin IEEE Transactions on Automatic Control, accepted.