保証付き知覚：到達可能性解析による認証済み姿勢推定
Perception with Guarantees: Certified Pose Estimation via Reachability Analysis
カメラ画像と既知の対象形状から、到達可能性解析とニューラルネットワーク検証を用いて姿勢を形式的に境界付けし、安全クリティカルなタスクに使える認証済み3D姿勢推定を実現した。
詳しい要約
1. どんなもの？
2. 先行研究と比べてどこがすごい？
3. 技術・手法の肝は？
4. どうやって有効だと検証した？
5. 議論はある？
6. 次に読むべき論文は？
※ AIが要旨から生成した要約です。正確性は原文をご確認ください。
著者: Tobias Ladner, Yasser Shoukry, Matthias Althoff
分類: cs.CV, cs.RO
原文アブストラクト
Agents in cyber-physical systems are increasingly entrusted with safety-critical tasks. Ensuring safety of these agents often requires localizing the pose for subsequent actions. Pose estimates can, e.g., be obtained from various combinations of lidar sensors, cameras, and external services such as GPS. Crucially, in safety-critical domains, a rough estimate is insufficient to formally determine safety, i.e., guaranteeing safety even in the worst-case scenario, and external services might additionally not be trustworthy. We address this problem by presenting a certified pose estimation in 3D solely from a camera image and a well-known target geometry. This is realized by formally bounding the pose, which is computed by leveraging recent results from reachability analysis and formal neural network verification. Our experiments demonstrate that our approach efficiently and accurately localizes agents in both synthetic and real-world experiments.
