Equivalent
- ¬ (False R p)
- ¬ (p W False)
- F ¬ p
- True U (¬ p ∧ True)
- True U ¬ p
- p U ¬ p
- ¬ G p
- ¬ (p ∧ X G p)
- F (True S (¬ p ∧ True))
- F F ¬ p
- ¬ G (p B False)
- ¬ G G p
- ¬ p ∨ X F ¬ p
- F G O ¬ p
- ¬ F G H p
- ¬ G F H p
- G F O ¬ p
Complement
Classification
| Temporal Hierarchy |
|---|
| Guarantee |
| Spec Patterns |
|---|
| Unknown |
| DBW-Recognizable |
|---|
| Yes |
| ID: 831 |
|
| Author: GOAL | |
| St: 5 | |
| Tr: 15 | |
|
Acceptance Condition: { {s3, s4} } |
|