Equivalent
Complement
Classification
| Temporal Hierarchy |
|---|
| Persistence |
| Spec Patterns |
|---|
| Unknown |
| DBW-Recognizable |
|---|
| No |
| ID: 1500 |
|
| Author: GOAL | |
| St: 4 | |
| Tr: 20 | |
|
Acceptance Condition: { ({s2, s3}, {s0, s1, s2, s3}) } |
|
| Temporal Hierarchy |
|---|
| Persistence |
| Spec Patterns |
|---|
| Unknown |
| DBW-Recognizable |
|---|
| No |
| ID: 1500 |
|
| Author: GOAL | |
| St: 4 | |
| Tr: 20 | |
|
Acceptance Condition: { ({s2, s3}, {s0, s1, s2, s3}) } |
|