SMT-Based Induction Methods for Timed Systems.

Roland Kindermann Tommi A. Junttila Ilkka Niemelä

Published in: FORMATS (2012)

Keyphrases

neural network
inductive learning
data sets
significant improvement
empirical studies
benchmark datasets
learning algorithm
image sequences
management system
markov chain
building blocks
learning systems