Probabilistic reachability for parametric Markov models

Ernst Moritz Hahn, Holger Hermanns, Lijun Zhang

Research output: Contribution to journal › Article › peer-review

108 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Probabilistic reachability for parametric Markov models'. Together they form a unique fingerprint.

Computer Science