Manuscript Psy03-B@1 · Psy03-B-v1.tex · corollary · 8ca3caf9

Corollary: False certified-update control

Feedback-aware threshold and severity certification › Fresh challenge blocks · lines 1286–1296 · proof included or linked

Psy03-B@1#cor:falseupdate

Back to manuscript

If scars are added only after certified crossing, then with probability at least $1 - δ$ , every such update occurs at a state satisfying $Q_{t}^{-} < q_{*}$ .

Proof. On the simultaneous event, $Q_{t}^{-} \leq U_{t} < q_{*}$ at every certified crossing.

Nearby in this section

section: Fresh challenge blocks
assumption: Assumption: Conditional freshness
section: Fresh challenge blocks
theorem: Theorem: Conditional-cycle concentration
section: Fresh challenge blocks
definition: Definition: Certified threshold decision
section: Fresh challenge blocks