LTL under reductions with weaker conditions than stutter-invariance

Open in new window