SMT-based Induction Methods for Timed Systems

Roland Kindermann Tommi A. Junttila Ilkka Niemelä

Published in: CoRR (2012)

Keyphrases

benchmark datasets
neural network
management system
distributed systems
complex systems
mathematical models
learning algorithm
preprocessing
data mining techniques
computer systems
retrieval systems
classification method
qualitative and quantitative
classification systems