Equivalent
- ¬ (F p → ¬ p U (q ∧ ¬ p ∧ X (¬ p U r)))
- F p ∧ (¬ q ∨ p ∨ X (¬ r W (p ∧ ¬ r))) W (p ∧ (¬ q ∨ p ∨ X (¬ r W (p ∧ ¬ r))))
Complement
Classification
| Temporal Hierarchy |
|---|
| Unknown |
| Spec Patterns |
|---|
| Unknown |
| DBW-Recognizable |
|---|
| Unknown |
| ID: 2560 |
|
| Author: GOAL | |
| St: 8 | |
| Tr: 64 | |
|
Acceptance Condition: {s0, s1, s4} |
|