C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems.
Hui Kong
Fei He
Xiaoyu Song
William N. N. Hung
Ming Gu
Published in:
CAV (2013)
Keyphrases
</>
hybrid systems
black box
intelligent systems
soft computing
computational intelligence
meta learning
artificial intelligence
neural network
discrete event
artificial neural networks
learning tasks
web services
complex systems