Robert M Hierons

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

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

論文

• ロボット支援着替えのための記号的ランタイム検証と適応的意思決定
  アシスト/形式検証2025/4/1

  着替え支援ロボットにおいて、ベイズ推論で更新される確率的モデルと時相論理による形式検証を組み合わせ、危険回避と適応的判断をリアルタイムで行う制御フレームワークを提案した。