Parameter Synthesis Algorithms for Parametric Interval Markov Chains.

Laure Petrucci Jaco van de Pol

Published in: FORTE (2018)

Keyphrases

markov chain
steady state
finite state
markov processes
learning algorithm
transition probabilities
stationary distribution
probabilistic automata
data mining
random walk
information theoretic
monte carlo simulation
markov process