λEnter Calculus CompanionRegistered manuscripts, kept distinct

Manuscript I@2 · I.tex · definition · 85631fa7

Definition: Strategy

Unknown strategies and their requirements · lines 1167–1176

Back to manuscript

A strategy is a pair $S = (P, U)$ in the structural class, interpreting readout by

[ψ, E [Enter (q_{S})]] ⟶_{S} [U^{S}_{ψ} (κ), E [κ]] with probability P^{S}_{ψ} (κ) > 0.

Displayed formulas in this passage

unlabeled · line 1170
$[ψ, E [Enter (q_{S})]] ⟶_{S} [U^{S}_{ψ} (κ), E [κ]] with probability P^{S}_{ψ} (κ) > 0.$

Nearby in this section