Classification

Temporal Hierarchy
Guarantee
Spec Patterns
Unknown
DBW-Recognizable
Yes
ID: 2489
Author: GOAL
St: 5
Tr: 40
Acceptance Condition:
{s0, s1}