Probabilistic reachability for parametric Markov models

  • Ernst Moritz Hahn
  • , Holger Hermanns
  • , Lijun Zhang

Research output: Contribution to journalArticlepeer-review

150 Citations (Scopus)

Fingerprint

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

Computer Science