Equivalent
Complement
Classification
Temporal Hierarchy |
---|
Guarantee |
Spec Patterns |
---|
Unknown |
DBW-Recognizable |
---|
Yes |
ID: 2623 | |
Author: GOAL | |
St: 7 | |
Tr: 14 | |
Acceptance Condition: 0: {s0}, 1: {s3}, 2: {s4, s5, s6}, 3: {s1, s2} |
|
Temporal Hierarchy |
---|
Guarantee |
Spec Patterns |
---|
Unknown |
DBW-Recognizable |
---|
Yes |
ID: 2623 | |
Author: GOAL | |
St: 7 | |
Tr: 14 | |
Acceptance Condition: 0: {s0}, 1: {s3}, 2: {s4, s5, s6}, 3: {s1, s2} |
|