본 논문은 반응적 합성(reactive synthesis)을 이용하여 고전적인 경찰과 도둑 게임의 일반화된 다중 에이전트 경로 계획 문제를 제안합니다. LTLt와 조정 합성(Coordination Synthesis)을 적용하여 다양한 경찰과 도둑 게임의 실현 가능성(경찰이 도둑을 잡을 수 있는 전략이 존재하는지 여부)을 검증하고, 게임 내 여러 시스템 플레이어를 위한 실행 가능한 프로그램으로 이 전략을 구성하는 것을 목표로 합니다. 본 논문에서는 문제 공간을 공식화하고 잠재적인 해결 방향을 제시하며, 일반화된 경찰과 도둑 게임의 공식화가 반응적 프로그램 합성 공간의 광범위한 다른 문제에 어떻게 매핑될 수 있는지 보여줍니다.
