0

# Give an example for a CTL formula?

Updated: 9/18/2023

Wiki User

14y ago

CTL formula: AG(p -> AFq)

CTL* formula: AEAp

LTL formula: AGFp

Wiki User

14y ago

Earn +20 pts
Q: Give an example for a CTL formula?
Submit
Still have questions?
Related questions

### What is a LTL formula that has no equivalent CTL formula?

The formula AF(p -> Xp) is such a formula. It's simple to see that the formula is a LTL formula and judging by its syntax, it's not a CTL formula. The proof that there is no equivalent CTL formula is a bit more complicated.

### Formula transformation and give an example of formula?

explain formula transformation

### When was CTL Logistics created?

CTL Logistics was created in 1992.

### What is CTL Logistics's population?

The population of CTL Logistics is 2,500.

### What is the sequence of keystrokes which give you a superscript I know the series of keystrokes to get a subscript but I do not know the sequence of keystrokes to get a superscript?

"ctl"+ "shift" + "+" will give you a superscript

### When was A.S.D. CTL Campania Piscinola created?

A.S.D. CTL Campania Piscinola was created in 2007.

pH=-log(H+)

### What does the acronym CTL stand for?

The acronym, CTL, can stand for many different things. CTL can stand for Credit Tenant Lease, Center for Teaching and Learning, Critical Task List, and many other things.

### Give you an example of geometry in architecture?

quadratic formula is used often

### What is subtotal percentage formula field?

Are you asking about something in Excel? Can you give example?

### What is the full form of CTL?

Control Transfer List

### What is molecular composition and give an example?

Methane has the chemical formula CH4; hydrogen is 25 % and carbon 75 %.