Local Proofs for Global Safety Properties.

Ariel Cohen Kedar S. Namjoshi

Published in: CAV (2007)

Keyphrases

computer vision
decision making
desirable properties
decision trees
data model
global information
data sets
neural network
information systems
structural properties
multidatabase systems