5 citations · 6 across the 10 of their papers we have counts for
1 paper · 1 filter
Christel Baier, Diane Cauquil, Calvin Chau +2
We propose a new approach for synthesizing large sets of winning strategies in stochastic parity games (2.5-player games) with quantitative objectives. Instead of computing a singl…