Model checking two layers of mean-field models

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    4 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Model checking two layers of mean-field models'. Together they form a unique fingerprint.

    Computer Science

    Mathematics