Equivalent
Complement
Classification
| Temporal Hierarchy |
|---|
| Response (Recurrence) |
| Spec Patterns |
|---|
| Constrained Chain Patterns |
| DBW-Recognizable |
|---|
| Yes |
| ID: 1950 |
|
| Author: GOAL | |
| St: 12 | |
| Tr: 214 | |
|
Acceptance Condition: 0: {s1, s4, s5, s7}, 1: {s0, s2, s3, s6, s8, s9, s10, s11} |
|