Details for the publication FuHLMXZ23.

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