In this paper, we present a novel formal agent-based simulation framework (FABS). FABS
uses formal specification as a means of clear description of wireless sensor networks …

Abstract Model verification and validation (V&V) is one of the most important activities in
simulation modelling. Model validation is especially challenging for Agent-Based Simulation …

In this paper, we present the verification and validation of an agent-based model of forest
fires. We use a combination of a Virtual Overlay Multi-Agent System (VOMAS) validation …

Literature on the modeling and simulation of complex adaptive systems (cas) has primarily
advanced vertically in different scientific domains with scientists developing a variety of …

This research paper presents a validated emotion enabled cognitive driver assistance
model (EECDAM) as an accident prevention scheme while keeping in mind different types of …

Urban simulations are an important tool for analyzing many policy questions relating to the
usage of public space, roads, and communal transportation; they can be used to predict the …

The philosophical perspectives on model evaluation can be broadly classified into
reductionist/logical positivist and relativist/holistic. In this paper, we outline some of our past …

Agent‐based models (ABMs) are a powerful class of computational models widely used to
simulate complex phenomena in many different application areas. However, one of the most …

Bias‐driven marketing leverages the behavioral biases of investors for greater marketing
gains. To transform cognitively biased individuals from antagonists into allies, the marketers …

About 1.24 million deaths occur due to road accidents yearly. According to different research
studies the main cause of these accidents is human drivers due to the different causes. We …