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]
No references recorded for this publication.
No citations of this publication recorded.