32 citations · 80 across the 14 of their papers we have counts for
1 paper · 1 filter
Marta Kwiatkowska, Gethin Norman, David Parker +1
Probabilistic model checking for stochastic games enables formal verification of systems that comprise competing or collaborating entities operating in a stochastic environment. De…