Satisfaction Meets Expectations - Computing Expected Values of Probabilistic Hybrid Systems with SMT.

Martin Fränzle Tino Teige Andreas Eggers

Published in: IFM (2010)

Keyphrases

hybrid systems
expected values
black box
intelligent systems
discrete event
soft computing
neural network
artificial intelligence
computational intelligence
meta learning
probabilistic model
bayesian networks
feature selection
training data
search algorithm
fuzzy logic