Equivalent

Complement

Classification

Temporal Hierarchy
Guarantee
Spec Patterns
Unknown
DBW-Recognizable
Yes
ID: 1239
Author: GOAL
St: 3
Tr: 10
Acceptance Condition:
{ (∅, {s2}) }