Stochastic Finite State Control of POMDPs with LTL Specifications.
Mohamadreza AhmadiRangoli SharanJoel W. BurdickPublished in: CoRR (2020)
Keyphrases
- finite state
- transition systems
- model checking
- policy iteration algorithm
- partially observable markov decision processes
- markov chain
- bounded model checking
- markov decision processes
- formal specification
- finite state transducers
- model checker
- temporal logic
- continuous state
- optimal policy
- formal verification
- concurrent systems
- context free
- reactive systems
- control policies
- average cost
- tree automata
- fully observable
- state space
- partial observability
- markov processes
- reinforcement learning
- control policy
- linear time temporal logic
- search space