Multi-Attribute Queries for Stochastic Multi Agent Systems over Short Time Horizons

Ramesh, Y. and Rao, M.V.P. (2021) Multi-Attribute Queries for Stochastic Multi Agent Systems over Short Time Horizons. In: 2021 Annual Modeling and Simulation Conference, ANNSIM 2021, 19 July 2021 through 22 July 2021, Virtual, Fairfax.

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


Statistical Model Checking (SMC) for the analysis of Multi-Agent Systems has been studied in the recent past. A feature peculiar to Multi-Agent Systems in the context of Statistical Model Checking is that of aggregate queries-temporal logic formula that involve a large number of agents. To answer such queries through Monte Carlo sampling, the statistical approach to model checking simulates the entire agent population and evaluates the query. This makes the simulation overhead significantly higher than the query evaluation overhead. To alleviate this problem, one strategy is to choose only a subset of the agents to simulate, through sampling. Further, this problem becomes particularly challenging when the model checking queries involve multiple attributes of the agents. We propose a population sampling algorithm that simulates only a subset of all the agents and scales to multiple attributes, thus making the solution generic. The population sampling approach results in increased efficiency (a gain in running time of 50% to 100% in most experiments) for a marginal loss in accuracy (between 1% to 5% in most experiments), especially for queries that involve limited time horizons. © 2021 SCS.

[error in script]
IITH Creators:
IITH CreatorsORCiD
Rao, M V PandurangaUNSPECIFIED
Item Type: Conference or Workshop Item (Paper)
Uncontrolled Keywords: Population Sampling, Statistical Model Checking, Stochastic Multi Agent Systems
Subjects: Computer science
Divisions: Department of Computer Science & Engineering
Depositing User: Mrs Haseena VKKM
Date Deposited: 26 Apr 2022 07:29
Last Modified: 26 Apr 2022 07:29
Publisher URL:
Related URLs:

Actions (login required)

View Item View Item
Statistics for RAIITH ePrint 9253 Statistics for this ePrint Item