Equivalent
Complement
Classification
Temporal Hierarchy |
---|
Persistence |
Spec Patterns |
---|
Unknown |
DBW-Recognizable |
---|
Yes |
ID: 1005 | |
Author: GOAL | |
St: 3 | |
Tr: 48 | |
Acceptance Condition: { {s1}, {s2}, {s1, s2} } |
|
Temporal Hierarchy |
---|
Persistence |
Spec Patterns |
---|
Unknown |
DBW-Recognizable |
---|
Yes |
ID: 1005 | |
Author: GOAL | |
St: 3 | |
Tr: 48 | |
Acceptance Condition: { {s1}, {s2}, {s1, s2} } |
|