Abu Naser Masud

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

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

論文

• Timed RebecaによるROS2マルチロボットシステムのモデリングとモデル検査
  群制御2025/11/1

  アクターベース言語Timed RebecaでROS2のマルチロボットシステムを離散モデル化し、モデル検査で性質を検証する手法を提案。抽象化戦略と往復エンジニアリングを実証。