Mustafa Adam

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

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

論文

• 農業ロボットの確率的モデリングと安全性保証：光処理作業を例に
  安全性保証2025/6/1

  農業ロボットの障害物・人間検知回避の安全性を、状態機械と確率モデル検査で初期設計段階から評価する枠組みを提案した。

• ロボット自律システムの安全保証のための検証手法
  安全検証2025/6/1

  農業用自律ロボットの開発ライフサイクル全体を対象に、危険分析から形式モデル検証、実行時検証までの安全保証ワークフローを提案し、実機で有効性を示した。