@misc{indiciae044bf9dbe180, title = {Two-State Max-Plus Comparison Is Decidable}, author = {Keigo Oka}, year = {2026}, url = {https://arxiv.org/abs/2609.00678}, note = {Source identifier: 2609.00678} }