Compositional Construction of Finite State Abstractions for Stochastic Control Systems.
Kaushik MallikSadegh Esmaeil Zadeh SoudjaniAnne-Kathrin SchmuckRupak MajumdarPublished in: CoRR (2017)
Keyphrases
- finite state
- finite state transducers
- control system
- markov chain
- policy iteration algorithm
- markov decision processes
- model checking
- monte carlo
- optimal policy
- continuous state
- vector quantizer
- average cost
- tree automata
- temporal logic
- partially observable markov decision processes
- state dependent
- context free
- markov processes
- reinforcement learning