Jun 19, 2014 · Conceptually, our algorithm performs ordinary strategy iteration on the given integer system for all possible parameter settings in parallel.

Parametric program analysis explores how different parameter settings may affect the program behavior. In order to infer invariants depending on parameters, we ...

This algorithm determines the precise least solution of systems of integer equations depending on surplus parameters, and provides a general technique to ...

Parametric program analysis explores how different parameter settings may affect the program behavior. In order to infer invariants depending on parameters, we ...

Bibliographic details on Parametric Strategy Iteration.

We present in this paper two new families of bi-parametric multipoint higher order iterative methods of optimal order for determining simple roots of the ...

In this manuscript, a novel parametric three-point iterative method with memory is developed, wherein the R-order of convergence is enhanced from 8 to 9 and 10 ...

The general idea of strategy iteration is to iteratively fix a strategy for one player, compute the optimal answering strategy for the other player and then ...

This iteration is achieved by manipulating the data structure. Point grid is employed as main strategy here, after some generative process, I decided to make ...

Iterative parametric dynamic programming is proposed where multiobjective optimization is used as a separation strategy and the optimal solution is sought in a ...