4 citations · 7 across the 6 of their papers we have counts for
1 paper · 1 filter
Keigo Oka
Daviaud, Guillon, and Merlet proved that comparison of max-plus automata is undecidable under a fixed state bound of 553 and explicitly left the range from 2 to 552 states open. We…