Beutner, R. and Finkbeiner, B. (2024) “Non-deterministic Planning for Hyperproperty Verification”, Proceedings of the International Conference on Automated Planning and Scheduling, 34(1), pp. 25-30. doi: 10.1609/icaps.v34i1.31457.