Beutner, Raven, and Bernd Finkbeiner. 2024. “Non-Deterministic Planning for Hyperproperty Verification”. Proceedings of the International Conference on Automated Planning and Scheduling 34 (1):25-30. https://doi.org/10.1609/icaps.v34i1.31457.