“…• Researchers at the Vrije Universiteit in Amsterdam use a logical approach to the specification of the macroscopic regularity, where a kind of model checking separates simulated behavioural traces that lead to crime from those that do not lead to crime (Bosse et al, 2007a(Bosse et al, , 2007bGerritsen, 2008, 2009;Bosse et al, 2009bBosse et al, , 2009aBosse et al, 2009b). • Researchers at Simon Fraser University in Vancouver use an interactive approach towards the detection of the macroscopic regularity, in the sense that successful simulations exhibit for example crime hotspots (Glässer et al, 2006;Brantingham et al, 2004Brantingham et al, , 2005.…”