21 citations · 39 across the 2 of their papers we have counts for
1 paper · 1 filter
Paolo Ballarini, Michele Forlin, Tommaso Mazza +1
We consider the problem of verifying stochastic models of biochemical networks against behavioral properties expressed in temporal logic terms. Exact probabilistic verification app…