Büchi Store

Equivalent

¬ G (s ∧ ¬ r → ¬ p W (q ∨ r))

Complement

G (s ∧ ¬ r → ¬ p W (q ∨ r))

Classification

Temporal Hierarchy
Unknown

Spec Patterns
Unknown

DBW-Recognizable
Unknown

ID: 2983
Author: GOAL
St: 3
Tr: 35
Acceptance Condition: s1