DyNeMoC: Statistical Model Checking for Agent Based Systems on Graphs

Y, Ramesh and N, Anand and Rao, M V Panduranga (2019) DyNeMoC: Statistical Model Checking for Agent Based Systems on Graphs. In: 22nd International Conference on Principles and Practice of Multi-Agent Systems, PRIMA, 28-31 October 2019, Turin, Italy.

Full text not available from this repository. (Request a copy)


We report a tool for analysing through statistical model checking, complex dynamical systems on graphs that can be modelled as multi-agent systems. We discuss techniques to leverage the fact that we restrict the tool to dynamics on graphs for performance improvements. The query language that the tool provides is a probabilistic version of bounded linear temporal logic. We also introduce the notion of population sampling on agents for statistical model checking. To the best of our knowledge, this feature has not been reported previously in literature. Finally, we report experimental results on running examples that illustrate our ideas and the utility of the tool.

[error in script]
IITH Creators:
IITH CreatorsORCiD
Rao, M V PandurangaUNSPECIFIED
Item Type: Conference or Workshop Item (Paper)
Uncontrolled Keywords: Agent based systems, Complex networks, Graphs, Sampling, Statistical model checking, Indexed in Scopus
Subjects: Computer science
Divisions: Department of Computer Science & Engineering
Depositing User: Team Library
Date Deposited: 23 Dec 2019 06:24
Last Modified: 23 Dec 2019 06:24
URI: http://raiith.iith.ac.in/id/eprint/7224
Publisher URL: http://doi.org/10.1007/978-3-030-33792-6_49
Related URLs:

Actions (login required)

View Item View Item
Statistics for RAIITH ePrint 7224 Statistics for this ePrint Item