@Inproceedings{EPTCS380.24,
  author    = {Hedges, Jules and Rodr\'iguez Sakamoto, Riu},
  year      = {2023},
  title     = {Value Iteration is Optic Composition},
  editor    = {Master, Jade and Lewis, Martha},
  booktitle = {{\rm Proceedings Fifth International Conference on}
               Applied Category Theory,
               {\rm Glasgow, United Kingdom, 18-22 July 2022}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {380},
  publisher = {Open Publishing Association},
  pages     = {417-432},
  doi       = {10.4204/EPTCS.380.24},
}