Equivalent

Complement

Classification

Temporal Hierarchy
Safety
Spec Patterns
Absence
DBW-Recognizable
Yes
ID: 890
Author: GOAL
St: 1
Tr: 1
Acceptance Condition:
{ {s0} }