Publication

[LiuTHXZ23] Scenario Approach for Parametric Markov Models Liu, Y.; Turrini, A.; Hahn, E. M.; Xue, B. and Zhang, L. In ATVA, LNCS , 2023.
Downloads: bib