@misc{indiciae75134ea7f8f7,
  title = {Tracy, Traces, and Transducers: Computable Counterexamples and Explanations for HyperLTL Model-Checking},
  author = {Sarah Winter and Martin Zimmermann},
  year = {2024},
  url = {https://arxiv.org/abs/2404.18280},
  note = {Source identifier: 2404.18280}
}