Compositional Synthesis of Finite State Abstractions.
Rupak MajumdarKaushik MallikAnne-Kathrin SchmuckPublished in: CoRR (2016)
Keyphrases
- finite state
- markov chain
- model checking
- markov decision processes
- average cost
- optimal policy
- continuous time bayesian networks
- tree automata
- partially observable markov decision processes
- context free
- action sets
- completely independent
- continuous time markov process
- dynamic programming
- image coding
- temporal logic