S

STCTL

Strategic (Timed) Computation Tree Logic