Scenario-based verification of uncertain parametric MDPs.
Thom S. BadingsMurat CubuktepeNils JansenSebastian JungesJoost-Pieter KatoenUfuk TopcuPublished in: Int. J. Softw. Tools Technol. Transf. (2022)
Keyphrases
- markov decision processes
- reinforcement learning
- model checking
- state space
- factored mdps
- optimal policy
- face verification
- asynchronous circuits
- formal verification
- factored markov decision processes
- decision making
- real time dynamic programming
- signature verification
- semi parametric
- uncertain information
- finite horizon
- incomplete information