Risk-averse control of Markov decision processes with ω-regular objectives | IEEE Conference Publication | IEEE Xplore