Second-Order Hyperproperties.

Raven Beutner Bernd Finkbeiner Hadar Frenkel Niklas 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