Monitoring Second-Order Hyperproperties.

Raven Beutner Bernd Finkbeiner Hadar Frenkel Niklas Metzger

Published in: CoRR (2024)

Keyphrases

monitoring system
real time
higher order
three dimensional
decision support
data sets
databases
neural network
knowledge base
website
image segmentation
multiscale
user interface
multiresolution
management system
condition monitoring