From PUMA Graduiertenkolleg
Recently, strategy iteration has been proposed as an alternative method for computing least fixpoints [Costan05]. Originally, strategy iteration has been applied in control theory or for computing game values of infinite two person zero sum games. The latter field is closely related to mu calculus model-checking. In newer work, we could prove that stratey iteration can also be use for precisely computing least solutions of very general systems of interval equations over integer as well as rational numbers [Gawlitza06,Gawlitza07].