A Probabilistic Kleene Theorem.

Benedikt Bollig Paul Gastin Benjamin Monmege Marc Zeitoun

Published in: ATVA (2012)

Keyphrases

generative model
bayesian networks
propositional logic
regular expressions
probabilistic model
pattern matching
uncertain data
probabilistic logic
probabilistic reasoning
probabilistic interpretation
data sets
image processing
multiscale
reinforcement learning
data driven