Quantitative controller synthesis for consumption Markov decision processes. - Fu, Jianling; Huang, Cheng-Chao; Li, Yong; Mei, Jingyi; Xu, Ming; Zhang, Lijun (Information Processing Letters, 2023)