Monitoring hyperproperties

Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup. Monitoring hyperproperties. Formal Methods in System Design, 54(3):336-363, 2019. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: