Login / Signup
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