ロボットと人間、またはロボットと環境の複雑な相互作用が増加し、計画だけでは不十分であることが説明されています。この論文では、確率合成やリアクティブ合成など従来の手法に代わる新しいアプローチである確率ゲームを提案しています。これにより、人間とロボットの戦略的行動や不確実性を考慮した効果的な戦略合成が可能になります。さらに、PRISM-games向けの新しいモデル構築方法によってスケーラビリティが向上しています。
この研究では、MDP(Markov Decision Processes)やLTLf(Linear Temporal Logic over finite traces)など従来の手法では捉えきれなかった人間とロボットの相互作用を包括的かつ効果的に扱う新しいアプローチが示されています。さらに、数々のシナリオや事例を通じてその有効性が実証されています。
To Another Language
from source content
arxiv.org
Key Insights Distilled From
by Karan Muvval... at arxiv.org 03-11-2024
https://arxiv.org/pdf/2403.04910.pdfDeeper Inquiries