Results 1 to 10 of about 138,161 (315)

One-Pass Tableaux for Computation Tree Logic

2007
We give the first single-pass ("on the fly") tableau decision procedure for computational tree logic (CTL). Our method extends Schwendimann's single-pass decision procedure for propositional linear temporal logic (PLTL) but the extension is non-trivial because of the interactions between the branching inherent in CTL-models, which is missing in PLTL ...
Pietro Abate, Rajeev Goré, Florian Widmann   +2 more
openaire   +1 more source

Model Checking Quantified Computation Tree Logic

2006
Propositional temporal logic is not suitable for expressing properties on the evolution of dynamically allocated entities over time. In particular, it is not possible to trace such entities through computation steps, since this requires the ability to freely mix quantification and temporal operators.
openaire   +2 more sources

Robustness Analysis of Fuzzy Computation Tree Logic

2016
Fuzzy computation tree logic is an extension of classical temporal logic computation tree logic, which is used to specify the properties of systems with uncertain information content. This paper investigates the robustness of fuzzy computation tree logic.
Li Li, Hong-Juan Yuan, Hai-Yu Pan
openaire   +1 more source

Model Checking Computational Tree Logic Using Sticker Automata

2016
The molecular computing has been successfully employed to solve more and more complex computation problems. However, as an important complex problem, the Computational Tree Logic (CTL) model checking is still far from resolved under the circumstance of molecular computing, since it is still a lack of method.
Weijun Zhu, Yanfeng Wang, Qinglei Zhou, Kai Nie   +3 more
openaire   +1 more source

Computation tree logic and regular ω-languages

1989
The expressive power of branching time logics is studied in the framework of the theory of ω-automata and ω-languages. The systems CTL* (computation tree logic) and ECTL* (extended computation tree logic) are characterized in terms of star-free, resp. regular ω-languages. A further characterization of CTL* by a "non-counting property" for sets of trees
openaire   +1 more source

Interactive Tree Of Life (iTOL) v5: an online tool for phylogenetic tree display and annotation

Nucleic Acids Research, 2021
Ivica Letunic, Peer Bork
exaly  

Structure–property–function relationships of natural and engineered wood

Nature Reviews Materials, 2020
Chaoji Chen, Yudi Kuang, Shuze Zhu
exaly  

Sensitive protein alignments at tree-of-life scale using DIAMOND

Nature Methods, 2021
Benjamin Buchfink, Klaus Reuter, Hajk-Georg Drost   +2 more
exaly  

Microbial diversity in extreme environments

Nature Reviews Microbiology, 2021
Wen-Sheng Shu, Li-Nan Huang
exaly  

Root of the Tree: The Significance, Evolution, and Origins of the Ribosome

Chemical Reviews, 2020
Jessica C Bowman, Anton S Petrov, Moran Frenkel-Pinter   +2 more
exaly