確率的ゲームにおけるプレフィックス非依存目的関数に対する期待値計算

定量的プレフィックス非依存目的関数を持つ確率的ゲームにおいて、期待値問題を、対応する閾値ブール目的関数のほとんど確実に満たされるインスタンスへの線形還元によって解決できる。