Beutner R, Finkbeiner B. Non-deterministic Planning for Hyperproperty Verification. ICAPS [Internet]. 2024May30 [cited 2024Sep.12];34(1):25-30. Available from: https://ojs.aaai.org/index.php/ICAPS/article/view/31457