Monitoring Second-Order Hyperproperties.

Raven Beutner Bernd Finkbeiner Hadar Frenkel Niklas Metzger

Published in: AAMAS (2024)

Keyphrases

monitoring system
real time
higher order
decision support
fourth order
abnormal events
search engine
special case
early warning
condition monitoring