Quantitative controller synthesis for consumption Markov decision processes

Jianling Fu, Cheng-Chao Huang, Yong Li 0031, Jingyi Mei, Ming Xu, Lijun Zhang. Quantitative controller synthesis for consumption Markov decision processes. Inf. Process. Lett., 180:106342, 2023. [doi]

Abstract

Abstract is missing.