Equivalent
Complement
Classification
Temporal Hierarchy |
---|
Obligation |
Spec Patterns |
---|
Unknown |
DBW-Recognizable |
---|
Yes |
ID: 2544 | |
Author: GOAL | |
St: 4 | |
Tr: 16 | |
Acceptance Condition: {s0, s3} |
|
Temporal Hierarchy |
---|
Obligation |
Spec Patterns |
---|
Unknown |
DBW-Recognizable |
---|
Yes |
ID: 2544 | |
Author: GOAL | |
St: 4 | |
Tr: 16 | |
Acceptance Condition: {s0, s3} |
|