An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time Properties.
Yong LiWanwei LiuAndrea TurriniErnst Moritz HahnLijun ZhangPublished in: CoRR (2016)
Keyphrases
- markov chain
- learning algorithm
- dynamic programming
- worst case
- monte carlo
- matching algorithm
- markov model
- steady state
- optimal solution
- k means
- state space
- assemble to order systems
- genetic algorithm
- algo rithm
- markov process
- directed graph
- sufficient conditions
- expectation maximization
- hidden markov models
- similarity measure