A note on a question of Peled and Wilke regarding stutter-invariant LTL.

Kousha Etessami

Published in: Inf. Process. Lett. (2000)

Keyphrases

model checking
temporal logic
bounded model checking
affine transformation
affine invariant
information retrieval
natural language
real time
translation invariant