Login / Signup
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