answersLogoWhite

0

CTL formula: AG(p -> AFq)

CTL* formula: AEAp

LTL formula: AGFp

User Avatar

Wiki User

14y ago

Still curious? Ask our experts.

Chat with our AI personalities

JordanJordan
Looking for a career mentor? I've seen my fair share of shake-ups.
Chat with Jordan
BeauBeau
You're doing better than you think!
Chat with Beau
TaigaTaiga
Every great hero faces trials, and you—yes, YOU—are no exception!
Chat with Taiga

Add your answer:

Earn +20 pts
Q: Give an example for a CTL formula?
Write your answer...
Submit
Still have questions?
magnify glass
imp