answersLogoWhite

0

CTL formula: AG(p -> AFq)

CTL* formula: AEAp

LTL formula: AGFp

User Avatar

Wiki User

15y ago

What else can I help you with?