C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Counter-Example Guided Predicate Abstraction of Hybrid Systems.
Rajeev Alur
Thao Dang
Franjo Ivancic
Published in:
TACAS (2003)
Keyphrases
</>
hybrid systems
black box
intelligent systems
neural network
soft computing
meta learning
computational intelligence
artificial intelligence
discrete event
first order logic
machine learning
reinforcement learning
artificial neural networks
evolutionary algorithm
semi supervised
simulation model