14 citations · 41 across the 14 of their papers we have counts for
Showing eess.SYShow all
2 papers · 1 filter
eess.SY2019★ 1 cited
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…
eess.SY2019
A Risk-Sensitive Finite-Time Reachability Approach for Safety of Stochastic Dynamic Systems
Margaret P. Chapman, Jonathan Lacotte, Aviv Tamar +7
A classic reachability problem for safety of dynamic systems is to compute the set of initial states from which the state trajectory is guaranteed to stay inside a given constraint…