Second-Order Hyperproperties.

Raven Beutner Bernd Finkbeiner Hadar Frenkel Niklas Metzger

Published in: CoRR (2023)

Keyphrases

higher order
data sets
real world
machine learning
medical images
high order
fourth order
directional derivatives
artificial neural networks
denoising
hessian matrix