On the Limits of Efficient Temporal Decidability (Extended Abstract)

E. Allen Emerson, Michael Evangelist, Jai Srinivasan

Browse the full LICS paper archive.