Extrapolation of an Optimal Policy using Statistical Probabilistic Model Checking.
Artur RatajBozena Wozna-SzczesniakPublished in: Fundam. Informaticae (2018)
Keyphrases
- model checking
- optimal policy
- finite state
- temporal logic
- markov decision processes
- decision problems
- infinite horizon
- state space
- temporal properties
- formal verification
- finite horizon
- reinforcement learning
- dynamic programming
- symbolic model checking
- model checker
- automated verification
- state dependent
- formal specification
- long run
- computation tree logic
- bounded model checking
- verification method
- average cost
- transition systems
- bayesian networks
- policy iteration
- sufficient conditions
- lost sales
- alternating time temporal logic
- probabilistic model
- epistemic logic
- formal methods
- modal logic
- markov decision process
- initial state
- inventory level
- search algorithm
- computational complexity
- binary decision diagrams
- planning domains
- supply chain
- graphical models
- monte carlo