What changed
Partitioned state-action space using an unknown-state-action detector, redirected unknown transitions to an absorbing penalty state and planned in the resulting pessimistic MDP.
Scientific scope
Partitioned state-action space using an unknown-state-action detector, redirected unknown transitions to an absorbing penalty state and planned in the resulting pessimistic MDP. Original theorem includes initial-distribution and known-region total-variation error terms; the abstract's unqualified lower-bound wording is not exported. Detector guarantees, planning accuracy and coverage/hitting-time terms matter. Practical detectors are not automatically certified error oracles.
Evidence
The linked original sources describe the stated contribution and its evidence limits. WRS has not independently rerun the experiments or certified a proof. Original theorem includes initial-distribution and known-region total-variation error terms; the abstract's unqualified lower-bound wording is not exported. Detector guarantees, planning accuracy and coverage/hitting-time terms matter. Practical detectors are not automatically certified error oracles.
Contributors
- Source-listed authors and technical contributors · SCIENCE: Source-listed authors or explicitly credited technical contributors for the cited versions. Family entries retain source-specific attribution; a combined list is not one original-paper byline or equal individual work. Names alone do not establish resolved identities.
Provisional WRS assessment, edition 2026-10-16.1. Independent expert calibration is pending. This grade does not certify correctness or assign ownership.
Full scientific record · Browse contribution grades · Request a correction
A