Research Vision: Multi-Agent Path Planning for Cops And Robbers Via Reactive Synthesis. - William Fishell; Andoni Rodriguez; Mark Santolucito (CoRR, 2025)