Marco Lampacrescia

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

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

論文

• AS2FM: ROS 2システムの統計的モデル検査による堅牢な自律性の実現
  形式検証2025/8/1

  ROS 2とビヘイビアツリーをSCXML拡張でモデル化し、JANI形式に変換して統計的モデル検査を行うツールAS2FMを提案。ロボットマニピュレーションのケーススタディで問題を1秒未満で検出し、検証時間がモデルサイズに対して線形にスケールすることを示した。