Sign in

Prophecy Variables for Hyperproperty Verification.

Raven BeutnerBernd Finkbeiner
Published in: CSF (2022)
Keyphrases
  • model checking
  • face verification
  • variable selection
  • independent variables
  • signature verification
  • real world
  • machine learning
  • website
  • search space
  • causal relationships
  • formal verification
  • relevant variables