Safety-Aware Optimal Control of Stochastic Systems Using Conditional Value-at-Risk · Study