Yasser Shoukry

収録論文 10本 ・ フィジカルAI/ロボット学習

※arXiv著者名で収集。同姓同名の別人の論文が含まれる場合があります。

論文

• 保証付き知覚：到達可能性解析による認証済み姿勢推定
  姿勢推定2026/2/1

  カメラ画像と既知の対象形状から、到達可能性解析とニューラルネットワーク検証を用いて姿勢を形式的に境界付けし、安全クリティカルなタスクに使える認証済み3D姿勢推定を実現した。

• 幾何生成モデルによる構成的正しさを保証した視覚姿勢推定
  視覚姿勢推定2026/1/1

  平面物体の幾何学と画像形成過程から生成モデルを構築し、推定誤差の保証付きニューラルネット姿勢推定器を設計する枠組みを提案。

• ニューラルネットワーク制御バリア関数から前方不変集合を抽出する手法
  安全性検証2025/1/1

  学習済みニューラルネットワークがバリア関数として安全証明となる状態空間の領域を、到達可能性解析と超平面配置の列挙を組み合わせて形式的に特定するアルゴリズムを提案した。

• Certified Vision-based State Estimation for Autonomous Landing Systems using Reachability Analysis
  2023/9/1
• EnergyShield: Provably-Safe Offloading of Neural Network Controllers for Energy Efficiency
  2023/2/1
• Neurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks
  2022/10/1
• Provably Safe Model-Based Meta Reinforcement Learning: An Abstraction-Based Approach
  2021/9/1
• Provably Correct Training of Neural Network Controllers Using Reachability Analysis
  2021/2/1
• ShieldNN: A Provably Safe NN Filter for Unsafe NN Controllers
  2020/6/1
• Formal Verification of Neural Network Controlled Autonomous Systems
  2018/10/1