Login / Signup
An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time Properties.
Yong Li
Wanwei Liu
Andrea Turrini
Ernst Moritz Hahn
Lijun Zhang
Published in:
SETTA (2016)
Keyphrases
</>
markov chain
learning algorithm
markov model
k means
dynamic programming
monte carlo
worst case
objective function
hidden markov models
matching algorithm
markov process
search space
probabilistic model
graphical models
expectation maximization