Scenario-Based Verification of Uncertain Parametric MDPs.
Thom S. BadingsMurat CubuktepeNils JansenSebastian JungesJoost-Pieter KatoenUfuk TopcuPublished in: CoRR (2021)
Keyphrases
- markov decision processes
- reinforcement learning
- model checking
- state space
- decision making
- factored mdps
- policy iteration
- partially observable
- asynchronous circuits
- planning under uncertainty
- finite horizon
- parametric models
- neural network
- formal verification
- optimal policy
- markov decision problems
- robust stability
- markov decision process
- signature verification
- decision makers
- dynamic programming