Büchi Store

Equivalent

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

Complement

G (p → F (q ∧ X F r))

Classification

Temporal Hierarchy
Unknown

Spec Patterns
Unknown

DBW-Recognizable
Unknown

ID: 2999
Author: GOAL
St: 3
Tr: 24
Acceptance Condition: s1, s2