Login / Signup
Recursive and Backward Reasoning in the Verification on Hybrid Systems.
Stefan Ratschan
Zhikun She
Published in:
ICINCO-SPSMC (2008)
Keyphrases
</>
hybrid systems
black box
intelligent systems
soft computing
neural network
computational intelligence
meta learning
artificial intelligence
discrete event
knowledge base
knowledge representation
genetic algorithm
mathematical model
test data
dynamic systems