Concepedia

Computational Tree Logic

Computational Tree Logic is a branching-time temporal logic used in formal verification, distinguished from linear-time logics by its ability to express properties over tree-structured computational paths through quantification over future states.

135

Publications

4.3K

Citations

369

Authors

187

Institutions

Publications per year

2017–2026

20

Parents

Publications

135

Logic-tree Approach for Probabilistic Tsunami Hazard Analysis and its Applications to the Japanese Coasts

Tadashi Annaka, Kenji Satake, Tsutomu Sakakiyama et al. · Pure and Applied Geophysics · 2007 · 224 citations

, , +15

SELENA – An open-source tool for seismic risk and loss assessment using a logic tree computation procedure

Sergio Molina, Dominik H. Lang, Conrad Lindholm · Computers & Geosciences · 2009 · 170 citations

, , +17

Network configuration in a box: towards end-to-end verification of network reachability and security

Ehab Al‐Shaer, Will Marrero, Adel El‐Atawy et al. · 2009 · 164 citations

, , +17

Reconfigurable Coordination of Distributed Discrete Event Control Systems

Jiafeng Zhang, Mohamed Khalgui, Zhiwu Li et al. · IEEE Transactions on Control Systems Technology · 2014 · 123 citations

, , +17

Multi-robot planning : a timed automata approach

Michael Melholt Quottrup, Thomas Bak · 2004 · 105 citations

, , +17

1–5 of 135

Authors

369

  1. YL
    Yongming Li

    Shaanxi Normal University, China

    5 publications · 204 citations

    5

    h-index

  2. ZM
    Zhanyou Ma

    Shaanxi Normal University, China

    4 publications · 172 citations

    4

    h-index

  3. PP
    P. P. Chakrabarti

    Indian Institute of Technology Kharagpur, India

    4 publications · 66 citations

    4

    h-index

  4. FM
    Francesco M. Donini

    Polytechnic University of Bari, Italy

    3 publications · 97 citations

    3

    h-index

  5. LC
    Lorenzo Capra

    University of Milan, Italy

    3 publications · 47 citations

    3

    h-index

1–5 of 369

Institutions

187

  1. Imperial College London

    London, United Kingdom

    7 h-index

    12 publications

    289 citations

  2. Indian Institute of Technology Kharagpur

    Kharagpur, India

    6 h-index

    16 publications

    281 citations

  3. Shaanxi Normal University

    Xi'an, China

    5 h-index

    13 publications

    524 citations

  4. University of Illinois Urbana-Champaign

    Urbana, United States

    4 h-index

    6 publications

    121 citations

  5. Xidian University

    Xi'an, China

    3 h-index

    3 publications

    288 citations

  6. Institute of Software

    Beijing, China

    3 h-index

    3 publications

    82 citations

  7. University of California, Santa Barbara

    Santa Barbara, United States

    3 h-index

    3 publications

    77 citations

  8. University of Milan

    Milan, Italy

    3 h-index

    9 publications

    122 citations

1–8 of 187

Venues

  1. Theoretical Computer Science

    4 publications · 97 citations

    4

    h-index

  2. Electronic Notes in Theoretical Computer Science

    ENTCS · 4 publications · 106 citations

    4

    h-index

  3. 3

    h-index

  4. IEEE Transactions on Software Engineering

    TSE · 3 publications · 90 citations

    3

    h-index

  5. Pure and Applied Geophysics

    PAGEOPH · 2 publications · 243 citations

    3

    h-index

1–5