Büchi Store

Search
Browse
Shopping Cart
Upload
Settings
Help
Previous Version

Equivalent

F (¬ p W (False ∧ ¬ p))
F G ¬ p
¬ G (True U p)
¬ G F p
¬ F G F p
G F G ¬ p

Complement

G (True U p)
G F p
F G F p

Classification

Temporal Hierarchy
Persistence

Spec Patterns
Unknown

DBW-Recognizable
No

ID: 2953
Author: unknown
St: 2
Tr: 4
Acceptance Condition: s1