Counterexample-guided predicate abstraction of hybrid systems.

Rajeev Alur Thao Dang Franjo Ivancic

Published in: Theor. Comput. Sci. (2006)

Keyphrases

hybrid systems
black box
meta learning
intelligent systems
soft computing
discrete event
artificial intelligence
neural network
computational intelligence
first order logic
inductive learning
feature selection
expert systems
learning process