C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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