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)

Abstract

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 Creators ORCiD Rao, M V Panduranga UNSPECIFIED
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://raiithold.iith.ac.in/id/eprint/7224
Publisher URL:	http://doi.org/10.1007/978-3-030-33792-6_49
Related URLs:	Google Scholar

Actions (login required)

View Item

Statistics for this ePrint Item