![](/img/cover-not-exists.png)
Greatest fixed points of probabilistic min/max polynomial equations, and reachability for branching Markov decision processes
Etessami, Kousha, Stewart, Alistair, Yannakakis, MihalisVolume:
261
Language:
english
Journal:
Information and Computation
DOI:
10.1016/j.ic.2018.02.013
Date:
August, 2018
File:
PDF, 868 KB
english, 2018