The DigForSim Agent Based Simulator of People Movements in Crime Scenes

Evidence analysis is one of the Digital Forensics tasks and involves examining fragmented incomplete knowledge and reasoning on it, in order to reconstruct plausible crime scenarios. After more than one year of activity within the DigForASP COST Action, the lack of real data about movements of people in crime scenes emerged as a major limitation to the need of testing the DigForASP prototypes that exploit Artificial Intelligence and Automated Reasoning for evidence analysis.

[1]  Sol Efroni,et al.  Cell studio: A platform for interactive, 3D graphical simulation of immunological processes , 2018, APL bioengineering.

[2]  Michael Wooldridge,et al.  Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology) , 2007 .

[3]  Christos Mousas,et al.  A Virtual Reality Framework for Training Incident First Responders and Digital Forensic Investigators , 2019, ISVC.

[4]  Guoyuan Wu,et al.  Cooperative Ramp Merging System: Agent-Based Modeling and Simulation Using Game Engine , 2019, SAE International Journal of Connected and Automated Vehicles.

[5]  Tibor Bosse,et al.  Comparing Crime Prevention Strategies by Agent-Based Simulation , 2009, 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology.

[6]  R. Axelrod.  Reviews book & software , 2022 .

[7]  Sean Luke,et al.  MASON: A Multiagent Simulation Environment , 2005, Simul..

[8]  Anand S. Rao,et al.  BDI Agents: From Theory to Practice , 1995, ICMAS.

[9]  Shane D. Johnson,et al.  State of the Art in Agent-Based Modeling of Urban Crime: An Overview , 2018, Journal of Quantitative Criminology.

[10]  Winfried Lamersdorf,et al.  Jadex: A BDI Reasoning Engine , 2005, Multi-Agent Programming.

[11]  Aldo Franco Dragoni,et al.  Using 3D simulators for the ambient assisted living , 2014, AI-AM/NetMed@ECAI.

[12]  Benoit Gaudou,et al.  Building, composing and experimenting complex spatial models with the GAMA platform , 2018, GeoInformatica.

[13]  William Rand,et al.  An Introduction to Agent-Based Modeling: Modeling Natural, Social, and Engineered Complex Systems with NetLogo , 2015 .

[14]  Angelo Ferrando,et al.  Comparing Trace Expressions and Linear Temporal Logic for Runtime Verification , 2016, Theory and Practice of Formal Methods.

[15]  Franziska Klügl-Frohnmeyer,et al.  SIMULATING DAILY ACTIVITIES IN A SMART HOME FOR DATA GENERATION , 2018, 2018 Winter Simulation Conference (WSC).

[16]  Joshua James,et al.  Development and Initial User Evaluation of a Virtual Crime Scene Simulator Including Digital Evidence , 2015, ICDF2C.

[17]  Rui Prada,et al.  A Virtual Agent Toolkit for Serious Games Developers , 2018, 2018 IEEE Conference on Computational Intelligence and Games (CIG).

[18]  Toby Howard,et al.  Virtual environments for scene of crime reconstruction and analysis , 2000, Electronic Imaging.

[19]  Fabio Bellifemine,et al.  Developing Multi-Agent Systems with JADE (Wiley Series in Agent Technology) , 2007 .

[20]  Tibor Bosse,et al.  Agent-based simulation of the spatial dynamics of crime: on the interplay between criminal hot spots and reputation , 2008, AAMAS.

[21]  Luca Franceschini,et al.  RML: runtime monitoring language: a system-agnostic DSL for runtime verification , 2019, Programming.