Counterexample-Guided Model Synthesis.

Mathias Preiner Aina Niemetz Armin Biere

Published in: TACAS (1) (2017)

Keyphrases

formal model
theoretical analysis
machine learning
genetic algorithm
closed form
real time
learning algorithm
knowledge base
computational model