Equivalent

Complement

Classification

Temporal Hierarchy
Safety
Spec Patterns
Universality
DBW-Recognizable
Yes
ID: 2417
Author: GOAL
St: 2
Tr: 8
Acceptance Condition:
{s0}