Proving temporal properties of hybrid systems.

Sanjai Narain Jeff Rothenberg

Published in: WSC (1990)

Keyphrases

hybrid systems
temporal properties
model checking
black box
intelligent systems
meta learning
soft computing
neural network
computational intelligence
formal methods
possibility theory
discrete event
artificial intelligence
expert systems
fuzzy logic
logic programming
genetic algorithm