Quantitative controller synthesis for consumption Markov decision processes

DOI10.1016/j.ipl.2022.106342OpenAlexW4309568545MaRDI QIDQ2680240

Yong Li, Jingyi Mei, Jianling Fu, Cheng-Chao Huang, Ming Xu, Li-jun Zhang

Publication date: 30 January 2023

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ipl.2022.106342

zbMATH Keywords

schedulingreachabilityMarkov decision processNP-hardnessquantitative analysis

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Uses Software

• Storm

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Planning and acting in partially observable stochastic domains
• A comparison of time- and reward-bounded probabilistic model checking techniques
• Energy parity games
• Qualitative controller synthesis for consumption Markov decision processes
• Multi-cost bounded reachability in MDP
• Reward-Bounded Reachability Probability for Uncertain Weighted MDPs
• Goal Probability Analysis in Probabilistic Planning: Exploring and Enhancing the State of the Art
• The Odds of Staying on Budget
• Infinite Runs in Weighted Timed Automata with Energy Constraints