Research Vision: Multi-Agent Path Planning for Cops And Robbers Via Reactive Synthesis

要約

リアクティブ合成を介して、古典的な警官と強盗ゲームの一般化のためのマルチエージェントパス計画の問題を提案します。
具体的には、LTLTと調整合成の適用を通じて、さまざまな警官や強盗ゲームが実現可能かどうかを確認することを目指しています（強盗を捕まえることを保証する警官には戦略が存在します）。
さらに、この戦略は、ゲーム内の複数のシステムプレーヤーのための実行可能ファイルプログラムとして構築します。
この論文では、問題の空間を正式に形式化し、ソリューションの潜在的な方向を提案します。
また、この一般化された警官と強盗ゲームの形式化が、リアクティブプログラム合成スペースの幅広い他の問題にどのようにマッピングできるかを示します。

要約(オリジナル)

We propose the problem of multi-agent path planning for a generalization of the classic Cops and Robbers game via reactive synthesis. Specifically, through the application of LTLt and Coordination Synthesis, we aim to check whether various Cops and Robbers games are realizable (a strategy exists for the cops which guarantees they catch the robbers). Additionally, we construct this strategy as an executable program for the multiple system players in our games. In this paper we formalize the problem space, and propose potential directions for solutions. We also show how our formalization of this generalized cops and robbers game can be mapped to a broad range of other problems in the reactive program synthesis space.

arxiv情報

提供元, 利用サービス

arxiv.jp, Google