Login / Signup

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

Kousha EtessamiAlistair StewartMihalis Yannakakis
Published in: ICALP (2) (2015)
Keyphrases