CTL, Derived Operators

. . .

. . .

. . .

. . .

p

p

p

AF p

. . .

. . .

. . .

. . .

p

EF p

possible

inevitable

”exists eventually”

or ”reachable”

”exists globally”

Previous slide

Next slide

Back to first slide

View graphic version