4 citations · 16 across the 15 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…