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

RafaRafa
There's no fun in playing it safe. Why not try something a little unhinged?
Chat with Rafa
SteveSteve
Knowledge is a journey, you know? We'll get there.
Chat with Steve
ReneRene
Change my mind. I dare you.
Chat with Rene

Add your answer:

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