Using Abstractions for the Verification of Linear Hybrid Systems.

Alfredo Olivero Joseph Sifakis Sergio Yovine

Published in: CAV (1994)

Keyphrases

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