@misc{indiciaece805374e870, title = {LTL under reductions with weaker conditions than stutter-invariance}, author = {Emmanuel Paviot-Adet and Denis Poitrenaud and Etienne Renault and Yann Thierry-Mieg}, year = {2023}, doi = {10.1007/978-3-031-08679-3\_11}, url = {https://arxiv.org/abs/2111.03342}, note = {Source identifier: 2111.03342} }