论文记录 · 证据边界公开

Dijkstra as an Oracle for Online Stochastic Shortest Path Navigation with Provable Guarantees

arXiv（v1 2026-08-18；cs.RO 主分类；submitted to IEEE；无撤稿标记） · 2026-08-18 · 空间感知与导航

论文元数据

作者: Mansur M. Arief、Ali Akarma、Ahmad Alfan Alfian Irfan
机构: 机构尚未补齐
发布日期精度: 日
研究方向: 空间感知与导航
机器人: grid-world 导航 / 定向钻井 / drone surveillance（数值基准，无真机）
DOI: 未披露
arXiv: 2608.17703
引用元数据: 0
记录状态: included
质量检查: 无自动质量红旗

工程资源状态

代码: 已核验可访问（使用限制见许可证）
权重: 已核验未发布
数据: 已核验未发布
许可证: 许可证条款已核验（不等于可商用）

每日候选人工终审

arXiv abs 页面与 PDF 全文均实际取回 HTTP 200（v1 2026-08-18；cs.RO 主分类；首页标注 submitted to IEEE；无撤稿标记），身份一致。KFUPM 等 DORA（Dijkstra Oracle Reduced-cost Algorithm）证明：在比文献常用 causality 条件更弱的非负 reduced cost（定义在 determinized map 上）条件下，Dijkstra 可作在线随机最短路径（SSP）规划的安全/精确引擎；每 episode 固定次数调用最短路 oracle、不估计转移核，需要把与动态障碍接触概率控制在预算内时加对数生存权重。数值实验覆盖 grid-world 导航、定向钻井、drone surveillance 三个基准：匹配知情乐观 value iteration 而规划工作量少 4.5–19.3×，学习期接触比 determinize-and-replan 少 17×，接触率在跨两个数量级的预算内达标。官方求解器 ai-vnv/DORASolvers.jl（POMDPs.jl 接口，MIT LICENSE）实测存在且 README 与论文方法同名对应。机器人域导航规划方法+量化实验+代码证据齐；无机器人真机实验，判 accept。

实机证据：simulation_quantitative；三基准上匹配知情乐观 VI 而规划工作量少 4.5–19.3×，学习期接触少 17×，接触率在预算内（跨两个数量级）。

硬件/本体：grid-world 机器人导航 / drone surveillance（POMDP 数值基准，无真机）

红旗与边界：无真机实验；数值基准为主

查看资源 · paper · 状态 verified_primary_arxiv_abs_and_pdf_fulltext · 许可证 arXiv paper license only (not an artifact license)
arXiv abs 页面与 PDF 全文均实际取回 HTTP 200（以 PDF 为全文载体）；标题/作者/版本以 2026-09-04 实取 arXiv export API + abs 页 submission history 为准，身份一致、无撤稿标记。
查看资源 · code · 状态 verified_official_code_repository · 许可证 MIT
GitHub 实测存在，README 说明 DORA 为 SSP 在线求解器（POMDPs.jl 接口），与论文一致；LICENSE.md MIT。
weights · 状态 not_found · 许可证 not_disclosed
不适用（规划算法，无学习权重）。
data · 状态 not_found · 许可证 not_disclosed
基准问题实例（grid world/drilling/drone surveillance）随代码/既有 JuliaPOMDP 库使用，未见单独数据集。

论文入库不等于代码、权重或数据开放；“承诺开放”“声称开放”和“已核验可下载”严格分开。

原始来源

最近核验：2026-09-04。链接存在不等于官方仓库、可运行、已开放权重/数据或许可证允许使用。