Safety-aware optimal control of stochastic systems using conditional value-at-risk Samantha Samuelson, and Insoon Yang Proceedings of the 2018 American Control Conference (ACC), pp. 6285-6290, 2018. (Extended version)