TY  - RPRT
TI  - Monitoring hyperproperties with circuits
AU  - Luca Aceto
AU  - Antonios Achilleos
AU  - Elli Anastasiadi
AU  - Adrian Francalanza
PY  - 2022
UR  - https://arxiv.org/abs/2202.11570
ID  - 2202.11570
ER  -