Login / Signup

Verifying safety properties using separation and heterogeneous abstractions.

Eran YahavG. 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