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]
@inproceedings{SeidlGS14,
title = {Parametric Strategy Iteration},
author = {Helmut Seidl and Thomas Martin Gawlitza and Martin S. Schwarz},
year = {2014},
url = {http://www.easychair.org/publications/?page=310989516},
researchr = {https://researchr.org/publication/SeidlGS14},
cites = {0},
citedby = {0},
pages = {62-76},
booktitle = {6th International Symposium on Symbolic Computation in Software Science, SCSS 2014, Gammarth, La Marsa, Tunisia, December 7-8, 2014},
editor = {Temur Kutsia and Andrei Voronkov},
volume = {30},
series = {EPiC Series},
publisher = {EasyChair},
}