Risk-sensitive safety specifications for stochastic systems using Conditional Value-at-Risk

Margaret P. Chapman, Jonathan P. Lacotte, Kevin M. Smith +4

This paper proposes a safety analysis method that facilitates a tunable balance between the worst-case and risk-neutral perspectives. First, we define a risk-sensitive safe set to…