Michaela Klauck

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

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

論文

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

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

• ロボティクス応用におけるビヘイビアツリーの実行意味論
  ビヘイビアツリー2024/8/1

  ロボティクスで広く使われるビヘイビアツリーの構造と実行を抽象データ型として形式化し、実装間の微妙な差異による挙動の不一致を解消する実行意味論を提案した論文。