Beutner, R.; Finkbeiner, B. Non-Deterministic Planning for Hyperproperty Verification. ICAPS 2024, 34, 25-30.