Canonical Representations of k-Safety Hyperproperties. - Bernd Finkbeiner; Lennart Haas; Hazem Torfah (CSF, 2019)