Büchi Store

Equivalent

¬ G (q ∧ ¬ r ∧ F r → p U r)

Complement

G (q ∧ ¬ r ∧ F r → p U r)

Classification

Temporal Hierarchy
Unknown

Spec Patterns
Unknown

DBW-Recognizable
Unknown

ID: 2971
Author: GOAL
St: 4
Tr: 27
Acceptance Condition: s3