TY  - RPRT
TI  - Statistical Verification of Quantitative Hyperproperties: Beyond Boolean Quantification
AU  - Amir M. Ahmadian
AU  - Hazem Torfah
PY  - 2026
UR  - https://arxiv.org/abs/2608.03694
ID  - 2608.03694
ER  -