Equivalent
- ¬ (True U p)
- ¬ F p
- False R ¬ p
- ¬ p W (False ∧ ¬ p)
- G ¬ p
- ¬ (p ∨ X F p)
- ¬ O F p
- ¬ F (True S p)
- ¬ F O p
- ¬ F F p
- H G ¬ p
- ¬ p ∧ X G ¬ p
- G (¬ p B (False ∧ ¬ p))
- G H ¬ p
- G G ¬ p
- F (G ¬ p ∧ H ¬ p)
- F G H ¬ p
- ¬ F G O p
- ¬ G (F p ∨ O p)
- ¬ G F O p
- G F H ¬ p
Complement
Classification
| Temporal Hierarchy |
|---|
| Safety |
| Spec Patterns |
|---|
| Absence |
| DBW-Recognizable |
|---|
| Yes |
| ID: 2203 |
|
| Author: GOAL | |
| St: 3 | |
| Tr: 6 | |
|
Acceptance Condition: {s0, s1} |
|