24 citations · 37 across the 11 of their papers we have counts for
1 paper · 1 filter
Chenyi Zhang, Jun Pang
This paper presents simulation-based relations for probabilistic game structures. The first relation is called probabilistic alternating simulation, and the second called probabili…