@InProceedings{l24-p1-51-65,
  AUTHOR       = {Diego Maldonado and Pedro Montealegre and Mart\'{\i}n R\'{\i}os{-}Wilson},
  editor       = {Jos{\'{e}} A. Soto and Andreas Wiese},
  TITLE        = {The Hardness of Local Certification of Finite-State Dynamics},
  booktitle    = {{LATIN} 2024: Theoretical Informatics - 16th Latin American Symposium,
                  Puerto Varas, Chile, March 18-22, 2024, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14578},
  pages        = {51--65},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-55598-5\_4},
  doi          = {10.1007/978-3-031-55598-5\_4},
  timestamp    = {Fri, 17 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/latin/MaldonadoMW24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}