Scenario-Based Verification of Uncertain MDPs.
Murat CubuktepeNils JansenSebastian JungesJoost-Pieter KatoenUfuk TopcuPublished in: CoRR (2019)
Keyphrases
- markov decision processes
- state space
- model checking
- reinforcement learning
- decision making
- factored mdps
- finite horizon
- verification method
- optimal policy
- requirements engineering
- incomplete information
- semi markov decision processes
- decision diagrams
- markov decision problems
- planning under uncertainty
- formal verification
- neural network
- dynamic programming
- policy iteration
- linear program
- heuristic search
- linear programming
- software engineering
- dec pomdps
- decision theoretic planning
- objective function
- factored markov decision processes