Emmanuel Paviot-Adet, Denis Poitrenaud, Etienne Renault, Yann Thierry-Mieg. LTL Under Reductions with Weaker Conditions Than Stutter Invariance. In Mohammad Reza Mousavi 0001, Anna Philippou, editors, Formal Techniques for Distributed Objects, Components, and Systems - 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings. Volume 13273 of Lecture Notes in Computer Science, pages 170-187, Springer, 2022. [doi]
Abstract is missing.