Computational Modeling and Simulation of Spatiotemporal Characteristics of Crime in Urban Environments

Uwe Glaesser
Simon Fraser University

Abstract state machines have been proposed as a universal mathematical framework for computational modeling of behavioral properties of discrete dynamic systems and are well known for their versatility in formalizing semantic aspects of algorithms, architectures, languages, protocols, and virtually all kinds of sequential, parallel, and distributed systems (see also the ASM Research Center at We present here a paradigmatic approach to multi-agent system modeling and simulation of likely scenarios of offender movement patterns and target choices within continuously changing urban surroundings based on the asynchronous computational model of distributed abstract state machines.

Audio (MP3 File, Podcast Ready) Presentation (PowerPoint File)

Back to Crime Hot Spots: Behavioral, Computational and Mathematical Models