@article{hedges-2023-value, title={Value Iteration is Optic Composition}, volume={380}, ISSN={2075-2180}, url={http://dx.doi.org/10.4204/eptcs.380.24}, DOI={10.4204/eptcs.380.24}, journal={Electronic Proceedings in Theoretical Computer Science}, publisher={Open Publishing Association}, author={Hedges, Jules and Rodríguez Sakamoto, Riu}, year={2023}, month=Aug, pages={417–432} }