59 citations · 291 across the 45 of their papers we have counts for
1 paper · 2 filters
Tim Quatmann, Christian Dehnert, Nils Jansen +2
We propose a simple technique for verifying probabilistic models whose transition probabilities are parametric. The key is to replace parametric transitions by nondeterministic cho…