Sign in

Second-Order Hyperproperties.

Raven BeutnerBernd FinkbeinerHadar FrenkelNiklas Metzger
Published in: CAV (2) (2023)
Keyphrases
  • higher order
  • high order
  • hidden markov models
  • database
  • data sets
  • real world
  • data mining
  • information retrieval
  • computational complexity
  • object recognition
  • edge detection
  • fourth order