A survey of statistical model checking

Gul Agha, Karl Palmskog

Research output: Contribution to journalReview article

Fingerprint Dive into the research topics of 'A survey of statistical model checking'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science