TY  - RPRT
TI  - Tracy, Traces, and Transducers: Computable Counterexamples and Explanations for HyperLTL Model-Checking
AU  - Sarah Winter
AU  - Martin Zimmermann
PY  - 2024
UR  - https://arxiv.org/abs/2404.18280
ID  - 2404.18280
ER  -