76 citations · 80 across the 8 of their papers we have counts for
1 paper · 1 filter
Chenyi Zhang, Jun Pang
In probabilistic game structures, probabilistic alternating simulation (PA-simulation) relations preserve formulas defined in probabilistic alternating-time temporal logic with res…