Trace Relations and Logical Preservation for Markov Automata.
Arpit SharmaPublished in: FORMATS (2018)
Keyphrases
- logical structure
- markov chain
- cellular automata
- regular expressions
- finite automata
- probabilistic automata
- finite state
- rough sets
- markov model
- causal relations
- logical framework
- markov processes
- truth values
- logical theories
- finite state automata
- logical reasoning
- relational databases
- tree automata
- temporal relations
- spatial relations
- semantic relations
- hidden markov models