The Stuttering Principle Revisited: On the Expressiveness of Nested X and U Operators in the Logic LTL.

Antonn Kucera, Jan Strejcek

Browse the full CSL paper archive.