R. Beutner and B. Finkbeiner, “Non-deterministic Planning for Hyperproperty Verification”, ICAPS, vol. 34, no. 1, pp. 25-30, May 2024.