1 citations · 1 across the 2 of their papers we have counts for
1 paper · 1 filter
Ying Liu, Andrea Turrini, Moritz Hahn +2
In this paper, we propose an approximating framework for analyzing parametric Markov models. Instead of computing complex rational functions encoding the reachability probability a…