5 citations · 6 across the 2 of their papers we have counts for
2 papers
cs.PL2014★ 5 cited
Parametric Strategy Iteration
Thomas M. Gawlitza, Martin D. Schwarz, Helmut Seidl
Program behavior may depend on parameters, which are either configured before compilation time, or provided at run-time, e.g., by sensors or other input devices. Parametric program…
cs.PL2012★ 1 cited
Numerical Invariants through Convex Relaxation and Max-Strategy Iteration
Thomas Martin Gawlitza, Helmut Seidl
In this article we develop a max-strategy improvement algorithm for computing least fixpoints of operators on on the reals that are point-wise maxima of finitely many monotone and…