Policy Synthesis for Factored MDPs with Graph Temporal Logic Specifications.
Murat CubuktepeZhe XuUfuk TopcuPublished in: AAMAS (2020)
Keyphrases
- temporal logic
- factored mdps
- concurrent systems
- model checking
- transition systems
- model checker
- bounded model checking
- reactive systems
- approximate dynamic programming
- formal specification language
- policy iteration
- markov decision problems
- markov decision processes
- modal logic
- finite state machines
- optimal policy
- formal specification
- context specific
- state space
- algebraic decision diagrams
- markov decision process
- linear temporal logic
- infinite horizon
- verification method
- random walk
- formal verification
- linear programming
- dynamic programming
- reward function
- reinforcement learning
- linear program
- basis functions
- multi agent
- control policy
- formal methods
- finite state
- temporally extended
- domain specific
- least squares