Publication

[FuHLMXZ22] Quantitative Controller Synthesis for Consumption Markov Decision Processes Fu, J.; Huang, C.-C.; Li, Y.; Mei, J.; Xu, M. and Zhang, L. In Information Processing Letters, 2022.
Downloads: bib