David Alireza Anisi

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

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

論文

• 確率的モデル検査によるロボティック自律システムの検証済み設計
  設計検証2026/1/1

  農業ロボットを例に、確率的モデル検査(PRISM)を用いて複数の設計案を系統的に評価・分析し、検証済み設計を導く手法を提案した論文。