Verifying Industrial Hybrid Systems with MathSAT.

Gilles Audemard Marco Bozzano Alessandro Cimatti Roberto Sebastiani

Published in: Electron. Notes Theor. Comput. Sci. (2005)

Keyphrases

hybrid systems
intelligent systems
black box
meta learning
neural network
soft computing
computational intelligence
discrete event
artificial intelligence
dynamic systems
web services
search algorithm
rough sets
text categorization
inductive learning