Sign in

FastLane Is Opaque - a Case Study in Mechanized Proofs of Opacity.

Gerhard SchellhornMonika WedelOleg TravkinJürgen KönigHeike Wehrheim
Published in: SEFM (2018)
Keyphrases
  • case study
  • object recognition
  • formal proofs
  • databases
  • three dimensional
  • test bed
  • neural network
  • real world
  • decision making
  • face recognition
  • feature space
  • theorem prover