Validating Agent-Based Models of Large Networked Systems
WSC, pp. 2807-2818, 2019.
The paper describes a systematic approach for validating real-world biological, information, social and technical (BIST) networks. BIST systems are usually represented using agent-based models and computer simulations are used to study their dynamical (state-space) properties. Here, we use a formal representation called a graph dynamical ...More
Full Text (Upload PDF)
PPT (Upload PPT)