Best Answer

CTL formula: AG(p -> AFq)

CTL* formula: AEAp

LTL formula: AGFp

Q: Give an example for a CTL formula?

Write your answer...

Submit

Still have questions?

Continue Learning about Math & Arithmetic

explain formula transformation

quadratic formula is used often

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

give example of subset

it gives you the midpoint of the line segment you use the formula for

Related questions

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.

explain formula transformation

CTL Logistics was created in 1992.

The population of CTL Logistics is 2,500.

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

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

pH=-log(H+)

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.

quadratic formula is used often

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

Control Transfer List

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