共 50 条
- [43] Approximating fixed points by iteration processes INDIAN JOURNAL OF PURE & APPLIED MATHEMATICS, 1997, 28 (02): : 129 - 138
- [47] Greatest Fixed Points of Probabilistic Min/Max Polynomial Equations, and Reachability for Branching Markov Decision Processes AUTOMATA, LANGUAGES, AND PROGRAMMING, PT II, 2015, 9135 : 184 - 196