Parametric Strategy Iteration

Helmut Seidl, Thomas Martin Gawlitza, Martin S. Schwarz. Parametric Strategy Iteration. In Temur Kutsia, Andrei Voronkov, editors, 6th International Symposium on Symbolic Computation in Software Science, SCSS 2014, Gammarth, La Marsa, Tunisia, December 7-8, 2014. Volume 30 of EPiC Series, pages 62-76, EasyChair, 2014. [doi]

Abstract

Abstract is missing.