Equivalent
- O p
- ¬ O ¬ p
- ¬ H ¬ p
- True S p
- H p
- p B False
- O O p
- F (p B False)
- F H p
- H H p
- G (True S p)
- G O p
- p ∧ Z H p
- p ∨ Y O p
Complement
Classification
| Temporal Hierarchy |
|---|
| SafeGuarantee |
| Spec Patterns |
|---|
| Unknown |
| DBW-Recognizable |
|---|
| Yes |
| ID: 2132 |
|
| Author: GOAL | |
| St: 3 | |
| Tr: 6 | |
|
Acceptance Condition: {s0, s2} |
|