Are Parametric Markov Chains Monotonic?
Jip SpelSebastian JungesJoost-Pieter KatoenPublished in: ATVA (2019)
Keyphrases
- markov chain
- steady state
- finite state
- monte carlo
- transition probabilities
- markov processes
- state space
- random walk
- markov process
- markov model
- stationary distribution
- monte carlo simulation
- monte carlo method
- transition matrix
- learning algorithm
- sample path
- stochastic process
- machine learning
- probabilistic automata
- assemble to order systems
- finite automata
- confidence intervals
- maximum entropy