TY  - RPRT
TI  - LTL under reductions with weaker conditions than stutter-invariance
AU  - Emmanuel Paviot-Adet
AU  - Denis Poitrenaud
AU  - Etienne Renault
AU  - Yann Thierry-Mieg
PY  - 2023
DO  - 10.1007/978-3-031-08679-3_11
UR  - https://arxiv.org/abs/2111.03342
ID  - 2111.03342
ER  -