,
Ismail Elabbassi
Creative Commons Attribution 4.0 International license
Crime prevention in urban environments demands both accurate crime forecasting and the efficient deployment of limited law enforcement resources. In this paper, we present an integrated framework that combines a machine learning module (i.e. PredRNN++ [Wang et al., 2018]) for spatiotemporal crime prediction with a constraint programming module for patrol route optimization. Our approach operates within the ICON loop framework [Bessiere et al., 2017], facilitating iterative refinement of predictions and immediate adaptation of patrol strategies. We validate our method using the City of Chicago Crime Dataset. Experimental results show that routes informed by crime predictions significantly outperform strategies relying solely on historical patterns or operational constraints. These findings illustrate how coupling predictive analytics with constraint programming can substantially enhance resource allocation and overall crime deterrence.
@InProceedings{mechqrane_et_al:LIPIcs.CP.2025.29,
author = {Mechqrane, Younes and Elabbassi, Ismail},
title = {{From Prediction to Action: A Constraint-Based Approach to Predictive Policing}},
booktitle = {31st International Conference on Principles and Practice of Constraint Programming (CP 2025)},
pages = {29:1--29:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-380-5},
ISSN = {1868-8969},
year = {2025},
volume = {340},
editor = {de la Banda, Maria Garcia},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CP.2025.29},
URN = {urn:nbn:de:0030-drops-238902},
doi = {10.4230/LIPIcs.CP.2025.29},
annote = {Keywords: Inductive Constraint Programming (ICON) Loop, Next Frame Prediction, PredRNN++}
}