Are Parametric Markov Chains Monotonic?

Jip Spel Sebastian Junges Joost-Pieter Katoen

Published in: CoRR (2019)

Keyphrases

markov chain
finite state
steady state
monte carlo
transition probabilities
stochastic process
stationary distribution
probabilistic automata
markov process
markov model
monte carlo simulation
random walk
state space
markov processes
monte carlo method
transition matrix
search algorithm
genetic algorithm