Prooving Safety Properties of Hybrid Systems.

Arjun Kapur Thomas A. Henzinger Zohar Manna Amir Pnueli

Published in: FTRTFT (1994)

Keyphrases

hybrid systems
black box
intelligent systems
artificial intelligence
soft computing
meta learning
discrete event
decision trees
neural network
heuristic search
dynamic systems