Search
Browse
Shopping Cart
Upload
Settings
Help
Previous Version
Equivalent
¬ (¬ q W p)
¬ p U (q ∧ ¬ p)
F (q ∧ H ¬ p)
¬ G (q → O p)
Complement
¬ q W p
G (q → O p)
Classification
Temporal Hierarchy
Guarantee
Spec Patterns
Unknown
DBW-Recognizable
Yes
ID: 2774
Author: GOAL
St: 4
Tr: 16
Acceptance Condition:
0: {s0, s2}, 1: {s1, s3}