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