Variable Probabilistic Abstraction Refinement.

Luis María Ferrer Fioriti Ernst Moritz Hahn Holger Hermanns Björn Wachter

Published in: ATVA (2012)

Keyphrases

generative model
probabilistic model
real time
bayesian networks
genetic algorithm
probabilistic reasoning
high level
multi agent systems
mobile robot
data driven
information theoretic
conditional probabilities
posterior probability
probability theory