TY  - RPRT
TI  - The Hardness of Local Certification of Finite-State Dynamics
AU  - Diego Maldonado
AU  - Pedro Montealegre
AU  - Martín Ríos-Wilson
PY  - 2023
UR  - https://arxiv.org/abs/2312.12278
ID  - 2312.12278
ER  -