Login / Signup
Verifying safety properties using separation and heterogeneous abstractions.
Eran Yahav
G. Ramalingam
Published in:
PLDI (2004)
Keyphrases
</>
desirable properties
neural network
e learning
high level
multiscale
structural properties
real world
machine learning
decision trees
three dimensional
topological properties