Classification
Temporal Hierarchy |
---|
Response (Recurrence) |
Spec Patterns |
---|
Unknown |
DBW-Recognizable |
---|
Unknown |
ID: 2015 |
![]() |
Author: GOAL | |
St: 5 | |
Tr: 91 | |
Acceptance Condition: 0: {s0, s3}, 1: {s1, s2, s4} |
|
Temporal Hierarchy |
---|
Response (Recurrence) |
Spec Patterns |
---|
Unknown |
DBW-Recognizable |
---|
Unknown |
ID: 2015 |
![]() |
Author: GOAL | |
St: 5 | |
Tr: 91 | |
Acceptance Condition: 0: {s0, s3}, 1: {s1, s2, s4} |
|