Risk aversion in finite Markov Decision Processes using total cost criteria and average value at risk | IEEE Conference Publication | IEEE Xplore