Verifying Hybrid Systems Involving Transcendental Functions.

Paul B. Jackson Andrew Sogokon James P. Bridge Lawrence C. Paulson

Published in: NASA Formal Methods (2014)

Keyphrases

hybrid systems
black box
intelligent systems
soft computing
neural network
computational intelligence
meta learning
artificial intelligence
discrete event
data mining
fuzzy logic