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