A logic for model-checking mean-field models.

Anna Kolesnichenko, Pieter-Tjerk de Boer, Anne Remke, Boudewijn R. Haverkort

Browse the full DSN paper archive.