Research Concept

CTL*

branching time logic which is a superset of LTL and CTL

Works
37,228
Citations
885,347
Level
4
OpenAlex ID
C147969180