@misc{indiciae9ad00419d0a9,
  title = {Visualizing Game-Based Certificates for Hyperproperty Verification},
  author = {Raven Beutner and Bernd Finkbeiner and Angelina Göbl},
  year = {2025},
  url = {https://arxiv.org/abs/2501.10184},
  note = {Source identifier: 2501.10184}
}