Login / Signup

Greatest fixed points of probabilistic min/max polynomial equations, and reachability for branching Markov decision processes.

Kousha EtessamiAlistair StewartMihalis Yannakakis
Published in: Inf. Comput. (2018)
Keyphrases