Omar Inverso

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

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

論文

• 検証可能なマルチロボットシステムに向けた形式モデルと言語
  群制御2018/4/1

  マルチロボットシステムの仕様記述と検証を容易にするため、エージェント指向言語を調査し、ケーススタディ実装を通じて有効性を比較評価した。