Diego Maldonado, Pedro Montealegre, Martín Ríos Wilson:
The Hardness of Local Certification of Finite-State Dynamics. LATIN (1) 2024: 51-65
The Hardness of Local Certification of Finite-State Dynamics. LATIN (1) 2024: 51-65