Paper accepted in IPL

We are happy to announce that our paper about the quantitative controller synthesis for consumption MDPs has been accepted in IPL.