Atef Azaiez

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

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

論文

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

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

• 自律ロボットのための形式手法再訪：構造化サーベイ
  形式手法2025/9/1

  自律ロボットシステムへの形式手法の適用に関する構造化文献レビューを行い、使用される形式手法や形式主義を分類し、時系列での傾向の変化を分析した。