A logic for model-checking of mean-field models

A.V. Kolesnichenko, Anne Katharina Ingrid Remke, Pieter-Tjerk de Boer, Boudewijn R.H.M. Haverkort

Research output: Book/ReportBookScientific


Recently, many systems consisting of a large number of interacting objects were analysed using the mean-field method, which has only been used for performance evaluation. In this short paper, we apply it to model checking. We define logic, which allows to describe the overall properties of the large system.
Original languageEnglish
Place of PublicationEnschede
PublisherCentre for Telematics and Information Technology (CTIT)
Publication statusPublished - 30 Mar 2012
Externally publishedYes

Publication series

NameCTIT Technical Report Series


  • EWI-21631
  • Mean-field model-checking
  • IR-80267
  • METIS-286289


Dive into the research topics of 'A logic for model-checking of mean-field models'. Together they form a unique fingerprint.

Cite this