@misc{indiciae017801cde58b,
  title = {On Conformant Planning and Model-Checking of \$\textbackslash{}exists\textasciicircum{}*\textbackslash{}forall\textasciicircum{}*\$ Hyperproperties},
  author = {Raven Beutner and Bernd Finkbeiner},
  year = {2025},
  url = {https://arxiv.org/abs/2512.23324},
  note = {Source identifier: 2512.23324}
}