Manuscript Oai283-A@1 · Oai283-A.tex · section · 6fb75895
A complete finite-shot certificate
Operational certification of the logical channel › A complete finite-shot certificate · lines 1020–1024
This proves non-vacuity of a finite operational certificate for the pilot. It does not certify every oracle-programmed instance.
Nearby in this section
- section: A complete finite-shot certificate
- assumption: Model specification: Statistical and calibration contract
- section: A complete finite-shot certificate
- theorem: Theorem: Finite-confidence channel interval
- section: A complete finite-shot certificate
- corollary: Corollary: An inhabited finite acceptance example