Equivalent
Complement
Classification
Temporal Hierarchy |
---|
Safety |
Spec Patterns |
---|
Universality |
DBW-Recognizable |
---|
Yes |
ID: 1511 | |
Author: GOAL | |
St: 1 | |
Tr: 1 | |
Acceptance Condition: { ({s0}, {s0}) } |
|
Temporal Hierarchy |
---|
Safety |
Spec Patterns |
---|
Universality |
DBW-Recognizable |
---|
Yes |
ID: 1511 | |
Author: GOAL | |
St: 1 | |
Tr: 1 | |
Acceptance Condition: { ({s0}, {s0}) } |
|