CORR
2010
Springer
15 years 4 days ago
2010
Springer
Abstract. This paper presents simulation-based relations for probabilistic game structures. The first relation is called probabilistic alternating simulation, and the second called...