Efficient Monitoring of Complex Second-Order Hyperproperties in Multi-Agent Systems

This paper presents the first monitoring algorithm for the expressive class of second-order hyperproperties, which can capture complex system properties like common knowledge that cannot be expressed in first-order logics.