A note on stutter-invariant PLTL
From MaRDI portal
Publication:989448
DOI10.1016/j.ipl.2009.02.020zbMath1214.03015MaRDI QIDQ989448
Publication date: 20 August 2010
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ipl.2009.02.020
formal language; partial order reduction; normal from; propositional linear temporal logic; stutter-invariant
Uses Software
Cites Work
- Unnamed Item
- Stutter-invariant temporal properties are expressible without the next-time operator
- A note on a question of Peled and Wilke regarding stutter-invariant LTL
- A decision procedure for propositional projection temporal logic with infinite models
- Complexity of propositional projection temporal logic with star