核心概念
人間とロボットの相互作用を一般的にモデル化するために、確率ゲームが提案されており、これは従来の表現方法よりも自然で強力な相互作用モデルを導入している。
要約
ロボットと人間、またはロボットと環境の複雑な相互作用が増加し、計画だけでは不十分であることが説明されています。この論文では、確率合成やリアクティブ合成など従来の手法に代わる新しいアプローチである確率ゲームを提案しています。これにより、人間とロボットの戦略的行動や不確実性を考慮した効果的な戦略合成が可能になります。さらに、PRISM-games向けの新しいモデル構築方法によってスケーラビリティが向上しています。
この研究では、MDP(Markov Decision Processes)やLTLf(Linear Temporal Logic over finite traces)など従来の手法では捉えきれなかった人間とロボットの相互作用を包括的かつ効果的に扱う新しいアプローチが示されています。さらに、数々のシナリオや事例を通じてその有効性が実証されています。
統計
本研究はNASA 80NSSC21K1031、NASA 80NSSC17K0162、NSF 1830549、およびNSF RI 2008720から支援を受けました。
PRISM-gamesへの新しいモデル構築方法によりスケーラビリティが向上しています。
引用
"Stochastic games subsume the expressivity of reactive and probabilistic synthesis proposed in previous works."
"Efficient symbolic approaches for quantitative reactive synthesis with finite tasks."
"We present a framework for robot manipulation based on stochastic games."