Non-deterministic weighted automata evaluated over Markov chains.
Jakub MichaliszynJan OtopPublished in: CoRR (2019)
Keyphrases
- markov chain
- probabilistic automata
- finite state
- steady state
- finite automata
- transition probabilities
- stationary distribution
- stochastic process
- state space
- markov processes
- monte carlo
- markov process
- random walk
- markov model
- finite state automaton
- monte carlo simulation
- regular expressions
- relative entropy
- monte carlo method
- finite state automata
- sample path
- transition matrix
- confidence intervals
- assemble to order systems
- weighted sum
- mutual information