CTL*

Known as: CTL Star 
CTL* is a superset of computational tree logic (CTL) and linear temporal logic (LTL). It freely combines path quantifiers and temporal operators… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1981-2017
0102019812017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Graded path modalities count the number of paths satisfying a property, and generalize the existential (E) and universal (A) path… (More)
Is this relevant?
2011
2011
We present a sound, complete and implementable tableau method for deciding satisfiability of formulas in the propositional… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2009
Highly Cited
2009
CD4 T helper cells are well known for their role in providing critical signals during priming of cytotoxic CD8 T lymphocyte (CTL… (More)
  • figure 1
  • figure 3
  • figure 2
  • figure 4
Is this relevant?
2009
2009
We present a sound, complete and relatively straightforward tableau method for deciding valid formulas in the propositional… (More)
  • figure 1
Is this relevant?
2008
2008
The satisfiability problems for CTL and CTL? are known to be EXPTIME-complete, resp. 2EXPTIMEcomplete (Fischer and Ladner (1979… (More)
  • figure 1
  • figure 2
  • table 1
Is this relevant?
2007
2007
Bounded Model Checking has been recently introduced as an efficient verification method for reactive systems. This technique… (More)
Is this relevant?
2006
2006
This paper aims at applying the CT L∗1 model checking method to the time Petri net (TPN) model. We show here how to contract its… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1996
Highly Cited
1996
Experimental data suggest that negative selection of thymocytes can occur as a result of supraoptimal antigenic stimulation. It… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
1987
Highly Cited
1987
In this paper we study the expressive power of the full branching time logic CTL* (of Clarke, Emerson, Halpern and Sistla), by… (More)
Is this relevant?
Highly Cited
1986
Highly Cited
1986
The differences between and appropriateness of branching versus linear time temporal logic for reasoning about concurrent… (More)
  • figure 2
  • figure 4
  • figure 6
Is this relevant?