Explainability of Probabilistic Bisimilarity Distances for Labelled Markov Chains.
Amgad RadyFranck van BreugelPublished in: FoSSaCS (2023)
Keyphrases
- markov chain
- steady state
- finite state
- markov model
- state space
- stationary distribution
- markov processes
- markov process
- transition probabilities
- monte carlo simulation
- stochastic process
- monte carlo
- probabilistic model
- monte carlo method
- probabilistic automata
- random walk
- distance measure
- bayesian networks
- transition matrix
- euclidean distance
- gibbs sampling
- machine learning
- confidence intervals
- distance function
- objective function