Quantitative Automata under Probabilistic Semantics.
Krishnendu ChatterjeeThomas A. HenzingerJan OtopPublished in: Log. Methods Comput. Sci. (2019)
Keyphrases
- formal semantics
- probabilistic model
- quantitative and qualitative
- probabilistic knowledge
- probabilistic automata
- logic programming
- context sensitive
- finite state
- probabilistic logic
- bayesian networks
- conditional probabilities
- posterior probability
- cellular automata
- regular expressions
- finite state machines
- default reasoning
- generative model
- finite automata