Interactive Model Repair by Synthesis.

Joshua Schmidt Sebastian Krings Michael Leuschel

Published in: ABZ (2016)

Keyphrases

machine learning
mathematical model
formal model
search engine
theoretical framework
database systems
data sets
conceptual model
computational model
probabilistic model
high level
case study
experimental data
decision making
sensitivity analysis
simulation model
real time
object model