Probabilistic Büchi Automata with Non-extremal Acceptance Thresholds.
Rohit ChadhaA. Prasad SistlaMahesh ViswanathanPublished in: VMCAI (2011)
Keyphrases
- finite automata
- probabilistic model
- uncertain data
- probabilistic logic
- graph theory
- databases
- probabilistic automata
- probabilistic approaches
- tree automata
- cellular automata
- generative model
- data driven
- website
- information theoretic
- regular expressions
- finite state
- probability theory
- case study
- decision trees
- real world
- data sets