On Computing Instructions to Repair Failed Model Refinements.

Oliver Kautz Bernhard Rumpe

Published in: MoDELS (2018)

Keyphrases

probabilistic model
computational model
mathematical model
formal model
databases
neural network
machine learning
artificial intelligence
high level
objective function
management system
theoretical analysis
closed form
bayesian framework
prediction model
autoregressive