Concepedia

Linear-time Temporal Logic

Linear-Time Temporal Logic is a formal logical system within temporal logic that specifies and verifies properties of dynamical systems by asserting temporal constraints along a single, linear sequence of states, distinguishing it from branching-time logics by rejecting alternative future paths.

529

Publications

26.9K

Citations

932

Authors

392

Institutions

Publications per year

2017–2026

122

Parents

Publications

529

Alternating-time temporal logic

Rajeev Alur, Thomas A. Henzinger, Orna Kupferman · Journal of the ACM · 2002 · 1.4K citations

, , +12

“Sometimes” and “not never” revisited

E. Allen Emerson, Joseph Y. Halpern · Journal of the ACM · 1986 · 996 citations · Full text

, , +14

Automatic verification of probabilistic concurrent finite state programs

Moshe Y. Vardi · 1985 · 675 citations

, , +16

Checking that finite state concurrent programs satisfy their linear specification

Orna Lichtenstein, Amir Pnueli · 1985 · 619 citations · Full text

, , +16

The complexity of probabilistic verification

Costas Courcoubetis, Mihalis Yannakakis · Journal of the ACM · 1995 · 560 citations · Full text

, , +15

1–5 of 529

Authors

932

  1. CB
    Călin Belta

    Boston University, United States

    24 publications · 1.2K citations

    20

    h-index

  2. BF
    Bernd Finkbeiner

    Saarland University, Germany

    13 publications · 558 citations

    13

    h-index

  3. DV
    Dimos V. Dimarogonas

    KTH Royal Institute of Technology, Sweden

    12 publications · 623 citations

    12

    h-index

  4. MY
    Moshe Y. Vardi

    Rice University, United States

    10 publications · 1.2K citations

    10

    h-index

  5. RM
    Richard M. Murray

    California Institute of Technology, United States

    11 publications · 816 citations

    10

    h-index

1–5 of 932

Institutions

392

  1. Centre National de la Recherche Scientifique

    Paris, France

    19 h-index

    41 publications

    2.4K citations

  2. Boston University

    Boston, United States

    19 h-index

    50 publications

    2.4K citations

  3. University of Pennsylvania

    Philadelphia, United States

    15 h-index

    29 publications

    3.8K citations

  4. University of California, Berkeley

    Berkeley, United States

    14 h-index

    44 publications

    4.6K citations

  5. KTH Royal Institute of Technology

    Stockholm, Sweden

    13 h-index

    33 publications

    1.5K citations

  6. University of Liverpool

    Liverpool, United Kingdom

    11 h-index

    25 publications

    1.2K citations

  7. Saarland University

    Saarbrücken, Germany

    11 h-index

    23 publications

    850 citations

  8. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    11 h-index

    21 publications

    1.7K citations

1–8 of 392

Venues

  1. IEEE Transactions on Automatic Control

    14 publications · 1.7K citations

    13

    h-index

  2. arXiv (Cornell University)

    Repository · 12 publications · 189 citations

    11

    h-index

  3. Electronic Notes in Theoretical Computer Science

    ENTCS · 12 publications · 706 citations

    11

    h-index

  4. Journal of the ACM

    JACM · 10 publications · 3.2K citations

    10

    h-index

  5. ACM Transactions on Computational Logic

    TOCL · 10 publications · 801 citations

    10

    h-index

1–5