Computing strategies for multiple cops on infinite graphs. - Alexa McLeod; Reed Solomon (Comput., 2025)