@misc{indiciae9f45f38dcce8, title = {The Complexity of Generalized HyperLTL with Stuttering and Contexts}, author = {Gaƫtan Regaud and Martin Zimmermann}, year = {2025}, doi = {10.4204/eptcs.428.12}, url = {https://arxiv.org/abs/2509.14095}, note = {Source identifier: 2509.14095} }