Equivalent

Complement

Classification

Temporal Hierarchy
Response (Recurrence)
Spec Patterns
Response
DBW-Recognizable
Yes
ID: 551
Author: GOAL
St: 4
Tr: 32
Acceptance Condition:
{s1, s3}