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