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} |
|