Policy Synthesis for Factored MDPs with Graph Temporal Logic Specifications.
Murat CubuktepeZhe XuUfuk TopcuPublished in: CoRR (2020)
Keyphrases
- temporal logic
- factored mdps
- concurrent systems
- model checking
- transition systems
- reactive systems
- bounded model checking
- model checker
- markov decision problems
- approximate dynamic programming
- formal specification language
- finite state machines
- policy iteration
- markov decision processes
- modal logic
- context specific
- state space
- formal specification
- optimal policy
- linear temporal logic
- finite state
- algebraic decision diagrams
- formal verification
- verification method
- linear program
- random walk
- partially observable
- linear programming
- stochastic processes
- belief revision
- decision theoretic
- decision theory
- probability distribution
- linear combination
- basis functions
- step size
- transition model
- markov decision process
- transition probabilities
- formal methods
- reinforcement learning
- planning under uncertainty
- control flow
- decision processes