Verification Method of Conditional Probability Based on Automaton.
Mingyu JiDi WuZhiyuan ChenPublished in: J. Networks (2013)
Keyphrases
- conditional probabilities
- verification method
- model checking
- finite state machines
- temporal logic
- bayesian networks
- probabilistic inference
- deterministic finite automaton
- probability distribution
- finite state automata
- probabilistic model
- bayesian model
- random variables
- posterior probability
- belief networks
- joint distribution
- inference rules
- prior probabilities
- deterministic finite automata
- network parameters
- hybrid automata
- bayesian belief networks
- discrete random variables
- image processing
- joint probability
- tree automata
- object recognition
- graphical models
- finite automaton