A Lattice-Theoretical View of Strategy Iteration
Reference
Paolo Baldan, Richard Eggert, Barbara König, and Tommaso Padoan. A lattice-theoretical view of strategy iteration. In Proc. of CSL '23, volume 252 of LIPIcs, pages 7:1–7:19. Schloss Dagstuhl – Leibniz Center for Informatics, 2023.
Suggested BibTeX entry:
@inproceedings{BEKP23a,
author = {Paolo Baldan and Richard Eggert and Barbara K\"onig and Tommaso Padoan},
booktitle = {Proc. of CSL '23},
pages = {7:1--7:19},
publisher = {Schloss Dagstuhl -- Leibniz Center for Informatics},
series = {{LIPIcs}},
title = {A Lattice-Theoretical View of Strategy Iteration},
volume = {252},
year = {2023}
}
