Model-Checking Mean-Field Models: Algorithms & Applications

Anna Victorovna Kolesnichenko

Research output: ThesisPhD Thesis - Research UT, graduation UT

136 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Model-Checking Mean-Field Models: Algorithms & Applications'. Together they form a unique fingerprint.

Engineering & Materials Science