Qualitative Analysis of VASS-Induced MDPs.
Parosh Aziz AbdullaRadu CiobanuRichard MayrArnaud SangnierJeremy SprostonPublished in: FoSSaCS (2016)
Keyphrases
- qualitative analysis
- markov decision processes
- quantitative analysis
- content analysis
- reinforcement learning
- fault tree
- factored mdps
- optimal policy
- state space
- planning under uncertainty
- finite horizon
- markov decision problems
- average cost
- markov decision process
- linear programming
- dynamic programming
- policy iteration
- reward function
- finite state
- probabilistic planning
- decision diagrams