Computing strategies for multiple cops on infinite graphs | Synapse