Late Weak Bisimulation for Markov Automata
Lei SongLijun ZhangJens Chr. GodskesenPublished in: CoRR (2012)
Keyphrases
- markov chain
- markov model
- cellular automata
- finite automata
- finite state
- probabilistic automata
- semi markov
- finite state machines
- tree automata
- regular expressions
- conditional independence
- real world
- information retrieval
- markov processes
- formal language theory
- markov process
- relational databases
- expert systems
- multiscale
- data mining