Reasoning About Quality in Hyperproperties. - Samuel Graepler; Benjamin Monmege; Jean-Marc Talbot (CSL, 2026)