FunSpec4DTMC - A Tool for Modelling Discrete-Time Markov Chains Using Functional Specification.
Frederik HauserDominik KraußMichael MenthPublished in: MMB (2018)
Keyphrases
- markov chain
- steady state
- finite state
- transition probabilities
- markov process
- monte carlo
- markov processes
- state space
- random walk
- monte carlo method
- stochastic process
- stationary distribution
- monte carlo simulation
- markov model
- transition matrix
- probabilistic automata
- sequence diagrams
- covariance matrix
- mutual information