Improving modified policy iteration for probabilistic model checking.
MohammadSadegh MohagheghiJaber KarimpourAyaz IsazadehPublished in: Comput. Sci. (2022)
Keyphrases
- model checking
- policy iteration
- finite state
- markov decision processes
- temporal logic
- model checker
- formal verification
- temporal properties
- fixed point
- formal specification
- model free
- symbolic model checking
- optimal policy
- reinforcement learning
- temporal difference
- automated verification
- probabilistic model
- average cost
- transition systems
- markov decision process
- verification method
- epistemic logic
- computation tree logic
- bounded model checking
- state space
- least squares
- infinite horizon
- finite state machines
- formal methods
- markov decision problems
- partially observable markov decision processes
- bayesian networks
- linear programming
- multiple agents