TY  - RPRT
TI  - Reasoning about Quality in Hyperproperties
AU  - Samuel Graepler
AU  - Benjamin Monmege
AU  - Jean-Marc Talbot
PY  - 2025
UR  - https://arxiv.org/abs/2512.00500
ID  - 2512.00500
ER  -