Bản ghi email: Qualitative Controller Synthesis for Consumption Markov Decision Processes