Raven Beutner, Bernd Finkbeiner, Angelina Göbl: HyGaViz: Visualizing Game-Based Certificates for Hyperproperty Verification. Zenodo 2024