In logic, linear temporal logic or linear-time temporal logic (LTL) is a modal temporal logic with modalities referring to time. In LTL, one can… (More)

Semantic Scholar uses AI to extract papers important to this topic.

Highly Cited

2008

Highly Cited

2008

- Marius Kloetzer, Calin Belta
- IEEE Transactions on Automatic Control
- 2008

We consider the following problem: given a linear system and a linear temporal logic (LTL) formula over a set of linear… (More)

Is this relevant?

2007

2007

- Martin Leucker, César Sánchez
- ICTAC
- 2007

We present regular linear temporal logic (RLTL), a logic that generalizes linear temporal logic with the ability to use regular… (More)

Is this relevant?

2005

2005

- Vladimir V. Rybakov
- J. Symb. Log.
- 2005

We investigate logical consequence in temporal logics in terms of logical consecutions, i.e. inference rules. First, we discuss… (More)

Is this relevant?

Highly Cited

2004

Highly Cited

2004

- Li Tan, Oleg Sokolsky, Insup Lee
- Proceedings of the 2004 IEEE International…
- 2004

This paper considers the specification-based testing in which the requirement is given in the linear temporal logic (LTL). The… (More)

Is this relevant?

Highly Cited

2003

Highly Cited

2003

- Roy Armoni, Limor Fix, +4 authors Moshe Y. Vardi
- CAV
- 2003

One of the advantages of temporal-logic model-checking tools is their ability to accompany a negative answer to a correctness… (More)

Is this relevant?

Highly Cited

2002

Highly Cited

2002

- Roy Armoni, Limor Fix, +9 authors Yael Zbar
- TACAS
- 2002

In this paper we describe the ForSpec Temporal Logic (FTL), the new temporal property-specification logic of ForSpec, Intel’s new… (More)

Is this relevant?

Highly Cited

1999

Highly Cited

1999

We improve the state-of-the-art algorithm for obtaining an automaton from a linear temporal logic formula. The automaton is… (More)

Is this relevant?

Highly Cited

1995

Highly Cited

1995

- Rob Gerth, Doron A. Peled, Moshe Y. Vardi, Pierre Wolper
- PSTV
- 1995

We present a tableau-based construction for obtaining an automaton from a temporal logic formula in an “on-the-fly” fashion. That… (More)

Is this relevant?

Highly Cited

1995

Highly Cited

1995

- Moshe Y. Vardi
- Banff Higher Order Workshop
- 1995

The automata-theoretic approach to linear temporal logic uses the theory of automata as a unifying paradigm for program… (More)

Is this relevant?

Highly Cited

1986

Highly Cited

1986

- E. Allen Emerson, Joseph Y. Halpern
- J. ACM
- 1986

The differences between and appropriateness of branching versus linear time temporal logic for reasoning about concurrent… (More)

Is this relevant?