Equivalent
Complement
Classification
| Temporal Hierarchy |
|---|
| Unknown |
| Spec Patterns |
|---|
| Unknown |
| DBW-Recognizable |
|---|
| Unknown |
| ID: 2992 |
|
| Author: GOAL | |
| St: 5 | |
| Tr: 68 | |
|
Acceptance Condition: s2, s6 |
|
| Temporal Hierarchy |
|---|
| Unknown |
| Spec Patterns |
|---|
| Unknown |
| DBW-Recognizable |
|---|
| Unknown |
| ID: 2992 |
|
| Author: GOAL | |
| St: 5 | |
| Tr: 68 | |
|
Acceptance Condition: s2, s6 |
|