Output details
11 - Computer Science and Informatics
University of Oxford
Output title
Approximative methods for monotone systems of min-max-polynomial equations
Type
E - Conference contribution
Name of conference/published proceedings
(ICALP ’08) Proceedings of the 35th International Colloquium on Automata, Languages and Programming
Volume number
5125
Issue number
-
First page of article
698
ISSN of proceedings
-
Year of publication
2008
Number of additional authors
3
Additional information
<13>
We give algorithms to approximate the solution of fixed-point equations of the form X = f(X), where X is a vector of variables and f(X) is a vector of functions over X, where the functions are expressions built up from polynomials with non-negative coefficients, minimum- and maximum-operators. We present the first methods that converge at least linearly to the desired solution. We also compute epsilon-optimal positional strategies for the players in the associated stochastic games. The paper appears in ICALP, one of the flagship conferences of theoretical computer science.
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
1
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
