Greatest Fixed Points of Probabilistic Min/Max Polynomial Equations, and Reachability for Branching Markov Decision Processes.

Kousha Etessami, Alistair Stewart, Mihalis Yannakakis

Browse the full ICALP paper archive.