Compositional abstraction and safety synthesis using overlapping symbolic models.

Pierre-Jean Meyer Antoine Girard Emmanuel Witrant

Published in: CoRR (2017)

Keyphrases

statistical models
complex systems
bayesian framework
connectionist models
machine learning
genetic algorithm
case study
image segmentation
high level
bayesian networks
model selection
parameter estimation
computational model