Police patrol district design using agent-based simulation and GIS | IEEE Conference Publication | IEEE Xplore