Research Vision: Multi-Agent Path Planning for Cops And Robbers Via Reactive Synthesis
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866916652728188928 |
|---|---|
| author | Fishell, William Rodriguez, Andoni Santolucito, Mark |
| author_facet | Fishell, William Rodriguez, Andoni Santolucito, Mark |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2503_11475 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Research Vision: Multi-Agent Path Planning for Cops And Robbers Via Reactive Synthesis Fishell, William Rodriguez, Andoni Santolucito, Mark Logic in Computer Science Artificial Intelligence 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. |
| title | Research Vision: Multi-Agent Path Planning for Cops And Robbers Via Reactive Synthesis |
| topic | Logic in Computer Science Artificial Intelligence |
| url | https://arxiv.org/abs/2503.11475 |