@article{ltlunderreductionswithweakerconditions, 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 = {2021}, eprint = {2111.03342}, archivePrefix = {arXiv}, url = {https://arxiv.org/abs/2111.03342v2}, }