34. Certified probability domains and robust inference

Fix a real predictive space \(E=\mathbb R^r\), a nonzero row \(\lambda\), and a finite family \(B_s\), indexed by \(s=(a,o)\). The action and observation alphabets are finite and nonempty. Every declared observation branch is present, including branches represented by the zero operator. Temporal words act from right to left: