@misc{indiciae92b319360df8,
  title = {Explaining Hyperproperty Violations},
  author = {Norine Coenen and Raimund Dachselt and Bernd Finkbeiner and Hadar Frenkel and Christopher Hahn and Tom Horak and Niklas Metzger and Julian Siber},
  year = {2022},
  url = {https://arxiv.org/abs/2206.02074},
  note = {Source identifier: 2206.02074}
}