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