@inproceedings{e793ebfd595044bcbd6efc9fbabf7121,
title = "A logic for model-checking mean-field models",
abstract = "Recently the mean-field method has been adopted for analysing systems consisting of a large number of interacting objects in computer science, biology, chemistry, etc. It allows for a quick and accurate analysis of such systems, while avoiding the state-space explosion problem. So far, the method has primarily been used for performance evaluation. In this paper, we use the mean-field method for model-checking. We define and motivate a logic MF-CSL for describing properties of systems composed of many identical interacting objects. The proposed logic allows describing both properties of the overall system and of a random individual object. Algorithms to check the satisfaction relation for all MF-CSL operators are proposed. Furthermore, we explain how the set of all time instances that fulfill a given MF-CSL formula for a certain distribution of objects can be computed.",
keywords = "Model checking, Mean field, Continuous stochastic logic",
author = "Anna Kolesnichenko and {de Boer}, Pieter-Tjerk and Anne Remke and Haverkort, {Boudewijn R.}",
year = "2013",
month = jun,
doi = "10.1109/DSN.2013.6575345",
language = "English",
isbn = "978-1-4673-6471-3",
series = "International Conference on Dependable Systems and Networks",
publisher = "IEEE",
pages = "1--12",
booktitle = "43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2013)",
address = "United States",
}