4,706 followers
https://t.co/JsfOzzDqiw LTL under reductions with weaker conditions than stutter-invariance. (arXiv:2111.03342v2 [https://t.co/HW5RVw4UkE] UPDATED) #NLProc
https://t.co/JsfOzzDqiw LTL under reductions with weaker conditions than stutter-invariance. (arXiv:2111.03342v2 [https://t.co/HW5RVw4UkE] UPDATED) #NLProc
LTL under reductions with weaker conditions than stutter-invariance https://t.co/qySSoRosrk
LTL under reductions with weaker conditions than stutter-invariance https://t.co/qySSoRG3PU
A weaker property than stutter-insensitivity, where any word that stutters less than a word in the language must also belong 📄 https://t.co/Ymay4jQDXX https://t.co/rZfyb7x2jX