LTL Under Reductions with Weaker Conditions Than Stutter Invariance.

Emmanuel Paviot-Adet, Denis Poitrenaud, Etienne Renault, Yann Thierry-Mieg

Browse the full FORTE paper archive.